(bug 29342) Patrol preferences shouldn't be visible to users who don't have patrol...
authorMatěj Grabovský <mgrabovsky@users.mediawiki.org>
Sun, 19 Jun 2011 18:07:13 +0000 (18:07 +0000)
committerMatěj Grabovský <mgrabovsky@users.mediawiki.org>
Sun, 19 Jun 2011 18:07:13 +0000 (18:07 +0000)
commitffed8cbe310ce0478c65443ed4e73557dca46d4a
tree5fdcebb9cce49878fad735b7029b117e08226c26
parent6d9964c85e7aef25469136a5b0bbdd54eb54d9f5
(bug 29342) Patrol preferences shouldn't be visible to users who don't have patrol permissions

Also show 'minordefault' only to those who can 'minoredit'
RELEASE-NOTES-1.19
includes/Preferences.php