From ca6c9973832ed82de26fae8adf88e8c2d07243dc Mon Sep 17 00:00:00 2001 From: Andrew Garrett Date: Fri, 6 Jul 2007 07:08:19 +0000 Subject: [PATCH] After further thought, put undo on page history for everyone. Discussion welcome. --- includes/PageHistory.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/includes/PageHistory.php b/includes/PageHistory.php index 7c21ed4bcc..a89b75ba75 100644 --- a/includes/PageHistory.php +++ b/includes/PageHistory.php @@ -248,7 +248,7 @@ class PageHistory { $s .= ' '.$this->mSkin->generateRollback( $rev ); } - if ( $wgUser->isAllowed( 'rollback' ) && !is_null($next)) { + if ( !is_null($next)) { $undolink = $this->mSkin->makeKnownLinkObj( $this->mTitle, '('.htmlspecialchars( wfMsg( 'editundo' ) ).')', 'action=edit&undoafter=' . $next->rev_id . '&undo=' . $rev->getId(), -- 2.20.1