Merge "Avoid page_touched update for HTTP GET action=purge requests"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 13 Sep 2016 06:40:52 +0000 (06:40 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 13 Sep 2016 06:40:52 +0000 (06:40 +0000)
commit3e35565c93bdafa9be2493436ebad20c4803b668
tree2b25175973482b4320a8af56269b4b1914bd5c87
parent978092f7844bcc69a8931f40bf51a057169829d1
parentc84ba4d86420d7af918e572e2cd4613d7be185b3
Merge "Avoid page_touched update for HTTP GET action=purge requests"
includes/page/Article.php
includes/page/WikiPage.php