registration: Fix merging of $wgRevokePermissions
authorKunal Mehta <legoktm@gmail.com>
Sat, 1 Aug 2015 06:40:07 +0000 (23:40 -0700)
committerKunal Mehta <legoktm@gmail.com>
Sat, 1 Aug 2015 06:40:07 +0000 (23:40 -0700)
commitd75391883e9353f94c61e870618a1f48186cbb50
tree8b47d41579319bc6f5df6871fb790c0edc3917b8
parentb1aa84076171b4870f10396715d2ddd608ab9d0e
registration: Fix merging of $wgRevokePermissions

It's the same as $wgGroupPermissions.

Change-Id: I9c289219c53314970e7af5998c00d6a372bb00cb
includes/registration/ExtensionRegistry.php