Merge "Make Maintenance::commitTransaction() avoid using deprecated method"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 6 Sep 2016 06:16:42 +0000 (06:16 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 6 Sep 2016 06:16:42 +0000 (06:16 +0000)
commitba67060734ecfa835f54c83540c0c136db1690d7
tree1c39575a995edb6ddf7bf9ef651ed6f26ac32b7d
parent57e19b610dbe6c33984b1b6408ee6906340bf05a
parent583fd0b623f50d44763aac68c2321876a117c8d8
Merge "Make Maintenance::commitTransaction() avoid using deprecated method"
maintenance/Maintenance.php