Merge "Revert "Add $robotPolicy parameter to SpecialPage::setHeaders()""
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 2 Dec 2013 21:27:16 +0000 (21:27 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 2 Dec 2013 21:27:16 +0000 (21:27 +0000)
commit0120228758798063ecab65f6488fcab5dda1fd32
tree864acc3df0e5513e4976872e887af09904d88720
parenta13c897f4d1721d7b1da6de1a1dabc92f25c85b4
parent1fe3b4a9d2be2669158b0cc02f2392d8c6eafa96
Merge "Revert "Add $robotPolicy parameter to SpecialPage::setHeaders()""