Make archive.ar_rev_id unique
authorBrad Jorsch <bjorsch@wikimedia.org>
Fri, 27 Apr 2018 17:11:01 +0000 (13:11 -0400)
committerGergő Tisza <gtisza@wikimedia.org>
Mon, 4 Jun 2018 08:52:06 +0000 (08:52 +0000)
commitc84083e413be24988267f846c42dda17c328f4cd
tree38c02a6ee44bee1bbef96e69595b4b0f73f22463
parent0c6cbf8b69a8240c63f79bc13bcce18e3f59060f
Make archive.ar_rev_id unique

To follow up I39b0825c, this change replaces the existing non-unique
index on the column with a unique index, to help avoid some of these
sort of bugs in the future.

Bug: T193180
Change-Id: I932478c9c6a13210bc9dff75286d0f08da56682c
14 files changed:
RELEASE-NOTES-1.32
includes/installer/MssqlUpdater.php
includes/installer/MysqlUpdater.php
includes/installer/OracleUpdater.php
includes/installer/PostgresUpdater.php
includes/installer/SqliteUpdater.php
maintenance/archives/patch-archive-ar_rev_id-unique.sql [new file with mode: 0644]
maintenance/mssql/tables.sql
maintenance/oracle/archives/patch-archive-ar_rev_id-unique.sql [new file with mode: 0644]
maintenance/oracle/tables.sql
maintenance/postgres/tables.sql
maintenance/sqlite/archives/patch-archive-ar_rev_id-unique.sql [new file with mode: 0644]
maintenance/tables.sql
tests/phpunit/MediaWikiTestCase.php