Merge "mediawiki.special: Combine various tiny specialpage style modules"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 17 May 2018 16:15:22 +0000 (16:15 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 17 May 2018 16:15:22 +0000 (16:15 +0000)
commit11b59d8a8ed7fe0231551d6788f675d9dbd2d8e6
treea91879fd3b4865c14c443f4b9992fab306127724
parentd9c1a80f5a94f64a53b24465839abf44c07d79c1
parent15eac4c27939c2558615844ce2dbb86f5bbc9647
Merge "mediawiki.special: Combine various tiny specialpage style modules"
resources/Resources.php