Merge "Put wfDeprecated() on obsolete use of $wgSpecialPages"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 20 Jun 2014 06:42:26 +0000 (06:42 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 20 Jun 2014 06:42:26 +0000 (06:42 +0000)
commit26247006e9210ae327ba5a99234e040cd8a50d8d
tree51c6f8fb96d08fe042ddc8c325a7c0ff7ad34de0
parent476b532f157ddd31bc51c372ff45d69684dd4490
parent73b238cde67be50a70859e1862608194fa0acb03
Merge "Put wfDeprecated() on obsolete use of $wgSpecialPages"