Page MenuHomePhabricator

Remove ep_articles_course_id index
Closed, ResolvedPublic

Description

The ep_articles_course_id index is duplicating the ep_articles_course_page index and as such should be removed

Event Timeline

Reedy created this task.Nov 9 2017, 8:04 PM
Restricted Application added a subscriber: Aklapper. · View Herald TranscriptNov 9 2017, 8:04 PM

Change 390318 had a related patch set uploaded (by Reedy; owner: Reedy):
[mediawiki/extensions/EducationProgram@master] Drop redundant ep_articles_course_id index

https://gerrit.wikimedia.org/r/390318

Change 390318 merged by jenkins-bot:
[mediawiki/extensions/EducationProgram@master] Drop redundant ep_articles_course_id index

https://gerrit.wikimedia.org/r/390318

Reedy closed this task as Resolved.Feb 28 2018, 1:40 PM
Reedy claimed this task.
Reedy removed a project: Patch-For-Review.