Fix API-related 1.25 release notes
[mediawiki.git] / maintenance / archives / patch-logging-times-index.sql
blob5f24f5c3924961a5a729ae7aa91ea2e006c94c71
1 --
2 -- patch-logging-times-index.sql
3 --
4 -- Add a very humble index on logging times
5 --
7 ALTER TABLE /*$wgDBprefix*/logging
8    ADD INDEX times (log_timestamp);