Merge "Change MediaWiki UI to use skinStyles so skins can customize"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 18 Sep 2014 09:46:27 +0000 (09:46 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 18 Sep 2014 09:46:27 +0000 (09:46 +0000)
commit9fa902583cc8e1c2a04b76a58c3fa517df06a013
treebde3d5790f39e0510d7861dfd69a2210d673d66c
parentd5e38401a9231936cf2bcd0a69d55a8340323b66
parent20eb104e3e05ac0ee13b855a4c88de16bdeb8c33
Merge "Change MediaWiki UI to use skinStyles so skins can customize"