After further thought, put undo on page history for everyone. Discussion welcome.

diff --git a/includes/PageHistory.php b/includes/PageHistory.php
index 7c21ed4..a89b75b 100644 (file)
--- 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(),