Remove redundant UNIQUE from rev_page_id
authorAaron Schulz <aschulz@wikimedia.org>
Mon, 11 Apr 2016 21:01:43 +0000 (14:01 -0700)
committerLegoktm <legoktm.wikipedia@gmail.com>
Thu, 25 Aug 2016 06:30:41 +0000 (06:30 +0000)
commitaf58998190d5a3ac3079f015796bf167466b7781
tree53c91558c4cf0b98c7bfa42c674f1b210b927e9f
parent6b6154c30eca9a6f6b451119fb800db170393336
Remove redundant UNIQUE from rev_page_id

The PRIMARY KEY is rev_id, so this is a waste and
makes the index slower to maintain (e.g. no change
buffering).

Bug: T142725
Change-Id: I63f817656ff5e62aa27caf607d70353cc99eb349
includes/installer/MysqlUpdater.php
maintenance/archives/patch-revision-page-rev-index-nonunique.sql [new file with mode: 0644]
maintenance/tables.sql