Merge "EditPage: Don't use $wgRequest"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 20 Sep 2017 15:24:31 +0000 (15:24 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 20 Sep 2017 15:24:31 +0000 (15:24 +0000)
commitb26a7f4c7227f19f8bf4e5974196cfcc9863506b
treef8e7ea1c1817160987a506995abcec5835f7f49c
parent4e5005e824281c4474df6d070da01bcfa8e4f233
parent748d75d4d8a34525292c2231437838489f664b79
Merge "EditPage: Don't use $wgRequest"
includes/EditPage.php