Avoid recreating ar_revid index after it's replaced by ar_revid_uniq
authorBrad Jorsch <bjorsch@wikimedia.org>
Mon, 4 Jun 2018 15:35:35 +0000 (11:35 -0400)
committerBrad Jorsch <bjorsch@wikimedia.org>
Tue, 5 Jun 2018 15:35:03 +0000 (11:35 -0400)
commit5c380739b2eb526f231cab972cf0cade7aed94c8
tree1a97d8c73499de8ce3cd9fcb9d9fef1105a5b2f2
parent52f599341f1261c61778a4a225a19b4841d0ec49
Avoid recreating ar_revid index after it's replaced by ar_revid_uniq

Bug: T193180
Change-Id: I274e33de0a348c0ee42b08b349272db7e2151647
includes/installer/DatabaseUpdater.php
includes/installer/MysqlUpdater.php
includes/installer/SqliteUpdater.php