Merge "Don't hard-code Preferences page name"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 21 Aug 2017 22:41:17 +0000 (22:41 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 21 Aug 2017 22:41:17 +0000 (22:41 +0000)
commitd455aa29a685971c8191bc38383f1514e7cae806
treec2a7221287530bbf7c17b7f25f61b01174622f99
parent69f16b7a69f9491b695ba0c9dfab7a7bdcb591d7
parent2a416c57d59997893b2e6345c85743c6f3b06552
Merge "Don't hard-code Preferences page name"
includes/Preferences.php