array( 'doCollationUpdate' ),
array( 'addTable', 'msg_resource', 'patch-msg_resource.sql' ),
array( 'addTable', 'module_deps', 'patch-module_deps.sql' ),
+ array( 'dropIndex', 'archive', 'ar_page_revid', 'patch-archive_kill_ar_page_revid.sql' ),
+ array( 'addIndex', 'archive', 'ar_revid', 'patch-archive_ar_revid.sql' ),
// 1.19
array( 'addTable', 'config', 'patch-config.sql' ),
-- Hopefully temporary index.
-- For https://bugzilla.wikimedia.org/show_bug.cgi?id=21279
-ALTER TABLE /*$wgDBprefix*/archive
- ADD INDEX ar_revid ( ar_rev_id );
\ No newline at end of file
+CREATE INDEX /*i*/ar_revid ON /*$wgDBprefix*/archive ( ar_rev_id );
\ No newline at end of file
--- /dev/null
+-- Used for killing the wrong index added during SVN for 1.17\r
+-- Won't affect most people, but it doesn't need to exist\r
+DROP INDEX IF EXISTS ar_page_revid;
\ No newline at end of file