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( "

" . htmlspecialchars( LogPage::logName( 'delete' ) ) . "

\n" ); + $logViewer = new LogViewer( + new LogReader( + new FauxRequest( + array( 'page' => $this->mTitle->getPrefixedText(), + 'type' => 'delete' ) ) ) ); + $logViewer->showList( $out ); + } + + + /** * Perform a deletion and output success or failure messages */ function doDelete( $reason ) {