*Remove extra pr_page index, it is redundant and just increases overhead

diff --git a/maintenance/archives/patch-page_restrictions.sql b/maintenance/archives/patch-page_restrictions.sql
index c18a054..6813c1e 100644 (file)
--- a/maintenance/archives/patch-page_restrictions.sql
+++ b/maintenance/archives/patch-page_restrictions.sql
@@ -14,8 +14,6 @@ CREATE TABLE /*$wgDBprefix*/page_restrictions (
        pr_expiry varbinary(14) NULL,
 
        PRIMARY KEY pr_pagetype (pr_page,pr_type),
-
-       KEY pr_page (pr_page),
        KEY pr_typelevel (pr_type,pr_level),
        KEY pr_level (pr_level),
        KEY pr_cascade (pr_cascade)

diff --git a/maintenance/tables.sql b/maintenance/tables.sql
index 1e40c16..c9f52ea 100644 (file)
--- a/maintenance/tables.sql
+++ b/maintenance/tables.sql
@@ -1145,7 +1145,6 @@ CREATE TABLE /*$wgDBprefix*/page_restrictions (
   PRIMARY KEY pr_pagetype (pr_page,pr_type),
 
   UNIQUE KEY pr_id (pr_id),
-  KEY pr_page (pr_page),
   KEY pr_typelevel (pr_type,pr_level),
   KEY pr_level (pr_level),
   KEY pr_cascade (pr_cascade)