Merge "Use skinStyles for mediawiki.ui.icon"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 1 Oct 2014 07:26:42 +0000 (07:26 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 1 Oct 2014 07:26:42 +0000 (07:26 +0000)
commitfba29de528e4d8687b33760ebeab319302de98d2
treefd476a5d7bbcd75a085a67907b707922203cd347
parent0f6ddf6dd4e1a80f5093b5af203f6379d9c01b77
parentd6aae24d77adff00854683b99647928952ed3059
Merge "Use skinStyles for mediawiki.ui.icon"
resources/Resources.php