Merge "Effectively remove EDIT_DEFER_UPDATES flag"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 8 Oct 2015 15:43:19 +0000 (15:43 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 8 Oct 2015 15:43:19 +0000 (15:43 +0000)
commitbfc448667bf16040f88bff23a750fd724a668ccf
tree5e2c1beb3f9c3223039ea2739980eb24fb1d574d
parentb7d8625131bb9008a51886992a0b139ac6bf18e7
parent02d999ead64429628a72a98b88f330a4155c5e1e
Merge "Effectively remove EDIT_DEFER_UPDATES flag"
includes/page/WikiPage.php