<?php
# $Id$
# (c)2005,2006 Stepan Roh <*****@*****.**>
# Free to copy, free to modify, NO WARRANTY
/** @file
* view Wiki page source
*/
$page =& get_current_page();
render_ui(MW_LAYOUT_HEADER, _t("Viewing %0%", $page->name));
if ($page->has_content) {
echo '<div class="page-source"><textarea readonly="readonly" rows="20" cols="120">', "\n";
echo htmlspecialchars($page->raw_content, ENT_NOQUOTES);
echo '</textarea></div>', "\n";
}
render_ui(MW_LAYOUT_FOOTER);
function &handle()
{
$req =& get_request("MW_RenameRequest");
$page =& get_current_page();
$new_name = $req->get_new_name();
if ($new_name === null) {
$special_page = load_special_page(MW_SPECIAL_PAGE_RENAME);
if ($special_page !== null) {
render_ui(MW_LAYOUT_HEADER, _t("Renaming %0%", $page->name));
$special_page->render();
render_ui(MW_LAYOUT_FOOTER);
return null_ref();
}
} else {
$success = $page->rename($new_name);
add_info_text($success ? _t("Page renamed.") : _t("Page not renamed."));
# will not redirect itself
if ($success && is_a($page, "MW_SpecialUploadPage")) {
$new_page = new_upload_page($new_name, MW_REVISION_HEAD);
set_current_page($new_page);
}
}
return get_default_action();
}
