diff -r dd659f6ba891 -r dd2edcdc6c03 includes/pageprocess.php --- a/includes/pageprocess.php Wed Jun 27 00:59:42 2007 -0400 +++ b/includes/pageprocess.php Wed Jun 27 12:09:02 2007 -0400 @@ -752,6 +752,12 @@ echo '
This page also appears to have some log entries in the database - it seems that it was deleted on ' . $r['date_string'] . '. You can probably roll back the deletion.
'; + echo 'This page was deleted on ' . $r['date_string'] . '. The stated reason was:
' . $r['edit_summary'] . '
You can probably roll back the deletion.
'; } $db->free_result(); }