Merge "Move prefsection style to mediawiki.special.preferences.css"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 21 Sep 2015 12:43:57 +0000 (12:43 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 21 Sep 2015 12:43:57 +0000 (12:43 +0000)
commit5dc633841b44e56c20f50ae724056d1cb43eaa4c
tree90009002dada4ca8197d574ba76c616c9c896224
parentb3fdef18a126b621ec1692d108975472a4a58bfc
parent396ae5052cfc3a083bbb103fc2459e46ee97702a
Merge "Move prefsection style to mediawiki.special.preferences.css"
resources/src/mediawiki.legacy/shared.css