Merge mediawiki.special.userrights.styles into mediawiki.special
authorFomafix <fomafix@googlemail.com>
Wed, 22 Nov 2017 05:08:33 +0000 (06:08 +0100)
committerKrinkle <krinklemail@gmail.com>
Wed, 22 Nov 2017 05:33:49 +0000 (05:33 +0000)
commitb073e4159f57c370d9a8e56df68490f6beb7d9bc
tree1592e11a94b3390d2bd65541bedb1b9f2839273d
parent708e8e9dee4523997a2dfe73e312db18725e782b
Merge mediawiki.special.userrights.styles into mediawiki.special

Follows-up 5f18aae76eecf5.

This reduces the number of modules.

Bug: T180914
Change-Id: I4143e876495bad6530afe290ba686d7f26a43c58
includes/specials/SpecialUserrights.php
resources/Resources.php