Followup r79702, r66793, r66822
authorSam Reed <reedy@users.mediawiki.org>
Thu, 6 Jan 2011 19:27:17 +0000 (19:27 +0000)
committerSam Reed <reedy@users.mediawiki.org>
Thu, 6 Jan 2011 19:27:17 +0000 (19:27 +0000)
commitdcb603bc61ef8f61f35b93c136cebf15ea29c7c1
tree86bc342b5c0e858b06e42bb9dd879c7604a051da
parent60e537e7741580a71b52530d0ea3b0e65b1b82ff
Followup r79702, r66793, r66822

Add patch to kill bad original ar_page_revid index (did exist as 2 definitions under the same name). Add patch to add index ar_revid per FIXME, though, hopefully only a temporary index

Updated tables.sql with new index
includes/installer/MysqlUpdater.php
maintenance/archives/patch-archive_ar_revid.sql [new file with mode: 0644]
maintenance/archives/patch-archive_kill_ar_page_revid.sql [new file with mode: 0644]
maintenance/tables.sql