| Index: branches/wmf/1.18wmf1/extensions/FlaggedRevs/schema/mysql/patch-fr_page_rev-index-wmf1.8.sql |
| — | — | @@ -4,7 +4,11 @@ |
| 5 | 5 | DROP PRIMARY KEY; |
| 6 | 6 | |
| 7 | 7 | -- Take the first row of any duplicates on new key |
| | 8 | +-- Must disable fast index creation as a workaround to |
| | 9 | +-- http://bugs.mysql.com/bug.php?id=40344 |
| | 10 | +set session old_alter_table=1; |
| 8 | 11 | ALTER IGNORE TABLE /*_*/flaggedrevs ADD PRIMARY KEY (fr_rev_id); |
| | 12 | +set session old_alter_table=0; |
| 9 | 13 | |
| 10 | 14 | CREATE INDEX /*i*/page_rev ON /*_*/flaggedrevs (fr_page_id,fr_rev_id); |
| 11 | 15 | CREATE INDEX /*i*/page_time ON /*_*/flaggedrevs (fr_page_id,fr_rev_timestamp); |