diff -r aa8ffe41d1c4 -r 95c4d91bd954 includes/pageprocess.php --- a/includes/pageprocess.php Tue Aug 14 20:48:29 2007 -0400 +++ b/includes/pageprocess.php Thu Aug 16 20:35:49 2007 -0400 @@ -1084,13 +1084,13 @@ { $r = $db->fetchrow(); echo '
This page was deleted on ' . $r['date_string'] . '. The stated reason was:
' . $r['edit_summary'] . '
You can probably roll back the deletion.
'; + if ( $session->user_level >= USER_LEVEL_ADMIN ) + { + echo 'Additional admin options: detag page
'; + } } $db->free_result(); } - if ( $session->user_level >= USER_LEVEL_ADMIN ) - { - echo 'Additional admin options: detag page
'; - } echo 'HTTP Error: 404 Not Found
';