*Remove extra pr_page index, it is redundant and just increases overhead
This commit is contained in:
parent
26df5c3296
commit
a462e2df58
2 changed files with 0 additions and 3 deletions
|
|
@ -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)
|
||||
|
|
|
|||
|
|
@ -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)
|
||||
|
|
|
|||
Loading…
Reference in a new issue