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 '<p><b>This page was deleted on ' . $r['date_string'] . '.</b> The stated reason was:</p><blockquote>' . $r['edit_summary'] . '</blockquote><p>You can probably <a href="'.makeUrl($paths->page, 'do=rollback&id='.$r['time_id']).'" onclick="ajaxRollback(\''.$r['time_id'].'\'); return false;">roll back</a> the deletion.</p>'; + if ( $session->user_level >= USER_LEVEL_ADMIN ) + { + echo '<p>Additional admin options: <a href="' . makeUrl($paths->page, 'do=detag', true) . '" title="Remove any tags on this page">detag page</a></p>'; + } } $db->free_result(); } - if ( $session->user_level >= USER_LEVEL_ADMIN ) - { - echo '<p>Additional admin options: <a href="' . makeUrl($paths->page, 'do=detag', true) . '" title="Remove any tags on this page">detag page</a></p>'; - } echo '<p> HTTP Error: 404 Not Found </p>';