maintenance/archives/patch-archive_kill_ar_page_revid.sql

   1 -- Used for killing the wrong index added during SVN for 1.17
   2 -- Won't affect most people, but it doesn't need to exist
   3 ALTER TABLE /*$wgDBprefix*/archive
   4         DROP INDEX ar_page_revid;