Merge "Disable WebResponse setters for post-send processing"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 13 Jun 2018 13:21:51 +0000 (13:21 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 13 Jun 2018 13:21:51 +0000 (13:21 +0000)
commiteb0758923dfe6c99b9c9a2a8b9436409e44551de
tree1eaa6986625eafb9ad42e360d565634657586353
parentc8b0acfe7c0adcfe6868a9c7428c8dbffa5ddb02
parent23706be35c033f994d7bede56a27305f28416660
Merge "Disable WebResponse setters for post-send processing"
includes/MediaWiki.php
includes/WebResponse.php