Merge "Remove vestiges of AdminSettings.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 30 Jan 2014 19:05:39 +0000 (19:05 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 30 Jan 2014 19:05:39 +0000 (19:05 +0000)
commitb650a5ba26faecb9c98a72d7d3e35f8d43c24182
tree713b5e71a96b634cbe3836a95d04509dc31b85b3
parentab1234a8314506febd8af4fa3f291f0f69b2ccc8
parent4d6dad7100c346ec88dfd899e6da0c9a8db92bb7
Merge "Remove vestiges of AdminSettings.php"