Merge "(bug 35923) tweaks to mediawiki.action.history.diff.css"
[lhc/web/wiklou.git] / maintenance / archives / patch-logging-times-index.sql
1 --
2 -- patch-logging-times-index.sql
3 --
4 -- Add a very humble index on logging times
5 --
6
7 ALTER TABLE /*$wgDBprefix*/logging
8 ADD INDEX times (log_timestamp);
9