*Remove extra pr_page index, it is redundant and just increases overhead
authorAaron Schulz <aaron@users.mediawiki.org>
Sat, 23 Jun 2007 19:28:00 +0000 (19:28 +0000)
committerAaron Schulz <aaron@users.mediawiki.org>
Sat, 23 Jun 2007 19:28:00 +0000 (19:28 +0000)
commita462e2df58a894011e2d55ae866322499284af3e
treec32cfd3270c7b8c7a9577e8755d2899b542abdc2
parent26df5c32968ded382dc91cdd584391f075259a7a
*Remove extra pr_page index, it is redundant and just increases overhead
maintenance/archives/patch-page_restrictions.sql
maintenance/tables.sql