Index: Article.php =================================================================== --- Article.php (revision 20126) +++ Article.php (working copy) @@ -1986,10 +1986,27 @@ \n" ); $wgOut->returnToMain( false ); + + $this->showLogExtract( $wgOut ); } /** + * Fetch deletion log + */ + function showLogExtract( &$out ) { + # Show relevant lines from the deletion log: + $out->addHTML( "