Merge "Preferences: Disable the 'skin' preference if there are no skins"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 4 Aug 2014 20:04:09 +0000 (20:04 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 4 Aug 2014 20:04:09 +0000 (20:04 +0000)
commitab1b1b55fe49316515f7ae876bd6f76592247dad
tree59299da6a5be5e01b650db48ce471e05b9e1aaeb
parent06476ce4e3770766046d0dc4ff2adeb0326cb7a8
parent8a6428a3f57ca9506b8366341a90d21bb7bf4716
Merge "Preferences: Disable the 'skin' preference if there are no skins"