Fix undefined $ok in DatabaseUpdater::migrateComments
authorReedy <reedy@wikimedia.org>
Fri, 2 Mar 2018 16:24:50 +0000 (16:24 +0000)
committerReedy <reedy@wikimedia.org>
Fri, 2 Mar 2018 16:24:50 +0000 (16:24 +0000)
commit9a37fb8e4851d13bfb208eb886c9947a7f21571c
tree1f39992c90014ef05690710be58c052e935c763c
parent3193c0fb28256c9fa69f1bb24a3c01c87b9cab3c
Fix undefined $ok in DatabaseUpdater::migrateComments

Change-Id: I608a693e688039526975ef5d3fe4c40c7679ed7b
includes/installer/DatabaseUpdater.php