MediaWiki 1.30.2

[autoinstallsdev/mediawiki.git] / maintenance / archives / patch-logging-times-index.sql

diff --git a/maintenance/archives/patch-logging-times-index.sql b/maintenance/archives/patch-logging-times-index.sql
index e66ceec4496f41018834c5e0375820e05216dde1..5f24f5c3924961a5a729ae7aa91ea2e006c94c71 100644 (file)
--- a/maintenance/archives/patch-logging-times-index.sql
+++ b/maintenance/archives/patch-logging-times-index.sql
@@ -1,8 +1,8 @@
--- 
+--
 -- patch-logging-times-index.sql
--- 
+--
 -- Add a very humble index on logging times
--- 
+--
 
 ALTER TABLE /*$wgDBprefix*/logging
    ADD INDEX times (log_timestamp);