Merge "Skin: Make skins aware of their registered skin name"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 12 Oct 2017 21:55:35 +0000 (21:55 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 12 Oct 2017 21:55:35 +0000 (21:55 +0000)
commita8379682a46a428320c88702c800a6107c015137
tree730c0166d906b482d59144531112a5bae5f74efe
parentf2b87a9db52043747b6ecc56dd10f261fe604110
parenta0947c9507065a83afe52b078f0f6d1c6163875e
Merge "Skin: Make skins aware of their registered skin name"
includes/skins/Skin.php