delete($pagename); if ($_GET["redirect"] == '') { Redirect($TrashedPagename); } else { Redirect($_GET["redirect"]); } } exit; } ################################################################################ function HandleUntrash() { global $pagename, $WikiDir, $TrashedExtension; $page = RetrieveAuthPage($pagename, 'edit' ); if ($page) { Lock(2); $OriginalPagename = MakePageName($pagename, preg_replace('/' . $TrashedExtension . '$/', '', FmtPageName('$FullName', $pagename) ) ); UpdatePage(MakePageName($pagename, $OriginalPagename ), $page, $page ); $WikiDir->delete($pagename); if ($_GET["redirect"] == '') { Redirect($OriginalPagename); } else { Redirect($_GET["redirect"]); } } exit; } ################################################################################ ?>