Avoid direct access to $wgGroupPermissions
authorumherirrender <umherirrender_de.wp@web.de>
Thu, 4 Oct 2012 16:17:46 +0000 (18:17 +0200)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 9 Oct 2012 06:41:23 +0000 (06:41 +0000)
commit22dd67ea3c9438d1e253d11d0a993a69e168a568
treef050009b09a2f3c139a72ca9b5b5bed30e509ccb
parentb65a5a7f6658c696a613d40b244150d64eeba636
Avoid direct access to $wgGroupPermissions

Created a new method User::groupHasPermission and check also
$wgRevokePermissions for the given right

Change-Id: I41edb091fa35c8c68b6f95cc5fd208ea99418cdb
includes/OutputPage.php
includes/ProtectionForm.php
includes/SpecialPage.php
includes/Title.php
includes/User.php
includes/actions/RawAction.php
includes/specials/SpecialNewpages.php