Merge "Remove unused Skin -> Linker deprecated methods"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 22 Apr 2016 06:53:58 +0000 (06:53 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 22 Apr 2016 06:53:58 +0000 (06:53 +0000)
commit7a7277ce98481b65fda799186521d2fdc336455c
tree83f874a4ab36b910d622657ad39a5a8dc54a027d
parentf7b9dafa802016626d64c331fe1b98aa1c249f36
parente898b0e0c9a41d859daf9fdd2a4baae9d0acea47
Merge "Remove unused Skin -> Linker deprecated methods"
includes/skins/Skin.php