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

';