--- SpecialLog.php 2007-03-05 05:14:31.000000000 +0900 +++ SpecialLognew.php 2007-03-07 01:30:04.000000000 +0900 @@ -298,7 +298,7 @@ * @private */ function logLine( $s ) { - global $wgLang; + global $wgLang, $wgUser;; $title = Title::makeTitle( $s->log_namespace, $s->log_title ); $time = $wgLang->timeanddate( wfTimestamp(TS_MW, $s->log_timestamp), true ); @@ -326,6 +326,11 @@ '&wpMovetalk=0' ) . ')'; } } + if ( $s->log_type == 'delete' && $wgUser->isAllowed( 'delete' ) ) { + $revert = '(' . $this->skin->makeKnownLinkObj( SpecialPage::getTitleFor( 'Undelete' ), + wfMsg( 'undeletepage' ) , + 'target='. urlencode( $title->getPrefixedDBkey() ) ) . ')'; + } $action = LogPage::actionText( $s->log_type, $s->log_action, $title, $this->skin, $paramArray, true, true ); $out = "