Legoktm has uploaded a new change for review. https://gerrit.wikimedia.org/r/325508
Change subject: Remove redundant index ...................................................................... Remove redundant index Because linter_cat is the leftmost part of the linter_cat_page_position index, we don't need a separate one. Pointed out by jynus in T148866#2846381. Change-Id: I3b0e75b02762cc948baf8dbdfee67b611aa3b9c1 --- M linter.sql 1 file changed, 1 insertion(+), 2 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Linter refs/changes/08/325508/1 diff --git a/linter.sql b/linter.sql index fa9bc8e..84ba5e2 100644 --- a/linter.sql +++ b/linter.sql @@ -14,6 +14,5 @@ -- Query by page CREATE INDEX /*i*/linter_page ON /*_*/linter (linter_page); --- Query by category -CREATE INDEX /*i*/linter_cat ON /*_*/linter (linter_cat); +-- Unique index for lint errors, also covers linter_cat for query by category CREATE UNIQUE INDEX /*i*/linter_cat_page_position ON /*_*/linter (linter_cat, linter_page, linter_start, linter_end); -- To view, visit https://gerrit.wikimedia.org/r/325508 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I3b0e75b02762cc948baf8dbdfee67b611aa3b9c1 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Linter Gerrit-Branch: master Gerrit-Owner: Legoktm <lego...@member.fsf.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits