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

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 claimed this task.
Reedy removed a project: Patch-For-Review.