Merge "Move styles for Special:UserRights to separate style module"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 20 Nov 2017 11:50:13 +0000 (11:50 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 20 Nov 2017 11:50:14 +0000 (11:50 +0000)
commit8a081a0e86d388143986cf991ebb9fdb961dc469
tree64b3d084fcef8481ac0aa1f3d29f45da88e56fbb
parentc6ceb13f9e8d550d542ef39ee43e2a56ad3ade07
parent5f18aae76eecf54665d4301da021afb3d1ae6e13
Merge "Move styles for Special:UserRights to separate style module"