wikimedia/mediawiki-extensions-Linter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter synced 2024-11-27 09:10:05 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add index on linter.linter_cat

Browse source 
For queries that list all errors of a certain type.

This patch needs to be applied manually, update.php won't work.

Change-Id: I42abded9df3ef2ff242be2b16f4c57bafc03ae39
This commit is contained in:
Kunal Mehta 2016-11-03 13:59:48 -07:00
parent ec6f4722aa
commit 3d12f762e6
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
linter.sql
View file

@ -11,3 +11,5 @@ CREATE TABLE /*_*/linter (
-- Query by page
CREATE INDEX /*i*/linter_page ON /*_*/linter (linter_page);
-- Query by category
CREATE INDEX /*i*/linter_cat ON /*_*/linter (linter_cat);