Merge "Fix undefined $ok in DatabaseUpdater::migrateComments"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 2 Mar 2018 16:36:26 +0000 (16:36 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 2 Mar 2018 16:36:26 +0000 (16:36 +0000)
commit113431287a8a14ea0d3baa8d40b1adcc2291b8e5
tree2fa2057365de5093e3317a5ce2b003272b2214ad
parentf88b3acbe8ab2e2042762dde1ef3a282202e0308
parent9a37fb8e4851d13bfb208eb886c9947a7f21571c
Merge "Fix undefined $ok in DatabaseUpdater::migrateComments"
includes/installer/DatabaseUpdater.php