<?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(); }