wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-09-24 18:59:40 +00:00
Code Issues Packages Projects Releases Wiki Activity
5988 commits 155 branches 0 tags 71 MiB
Commit graph

1 commit

Author SHA1 Message Date
Roan Kattouw 617cd3d29e Add index on notification_event 
So we can easily query the notification rows that belong to
a given event row. This is needed for the removeOrphanedEvents
maintenance script to run efficiently.

Change-Id: I99fc31a62b37259d7000577583c8e8a599e400f9
 2016-06-14 19:57:06 +00:00