Merge "mediawiki.helplink: Use a SVG+PNG icon"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 21 Mar 2015 17:50:39 +0000 (17:50 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 21 Mar 2015 17:50:39 +0000 (17:50 +0000)
commita7192f0978038b4d7ce9bd51e29f97077b407433
treeac11ff4d23ea9b973f177e3381506dee27288013
parentbc9b5953ed8e3342925f8f1c09c3090d83ad239e
parent59428a375a068e17c87ed1fea67dbb4a47232f7f
Merge "mediawiki.helplink: Use a SVG+PNG icon"
resources/Resources.php