Merge "SpecialProtectedPages: Use Config instead of globals"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 4 Aug 2014 09:39:09 +0000 (09:39 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 4 Aug 2014 09:39:09 +0000 (09:39 +0000)
commit6a9b51857673a393f7011a710eb5bc2fbe1a43da
tree19a4d47bf2e067f67210df5646dc15af398dbccd
parent555e0b4b3c517cfb565ad275d9600806cd3cd50a
parent58183b014a2edd64a88ce2cecebbf5c9cd5fdcb4
Merge "SpecialProtectedPages: Use Config instead of globals"