Merge "Database transaction flushing cleanups"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 16 Aug 2016 22:03:43 +0000 (22:03 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 16 Aug 2016 22:03:43 +0000 (22:03 +0000)
commit2686727565a3eb1a9afff53b7c8b0d6b1106fb50
treee1da2c001c8a9c912aa5b09e9ce28267746628d3
parentd7e368ac0e171410922ceb0c7121a2450a793429
parent4bcfe7d0ad73fc75b7131425479f2b337b0df28d
Merge "Database transaction flushing cleanups"
includes/WatchedItemStore.php
includes/db/Database.php