Merge "Load mediawiki.action.edit.styles on mobile"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 21 Jun 2017 17:07:02 +0000 (17:07 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 21 Jun 2017 17:07:02 +0000 (17:07 +0000)
commit9f532a7cee1fe800a2c5084eff9e66f4124966b2
tree537d4e18e1ed141f8cc8486f6eb07200147f45c7
parentd3db94de768c43542d49c0925969a523ed3a2d11
parentc1756a10885104d69ceeaaeecdbad5c2bf8268c7
Merge "Load mediawiki.action.edit.styles on mobile"
resources/Resources.php