Merge "mediawiki.language: Implement non-digit-grouping of four-digit numbers"

[lhc/web/wiklou.git] / maintenance / archives / patch-indexes.sql

diff --git a/maintenance/archives/patch-indexes.sql b/maintenance/archives/patch-indexes.sql
index 6a86c0f..c24d995 100644 (file)
--- a/maintenance/archives/patch-indexes.sql
+++ b/maintenance/archives/patch-indexes.sql
@@ -1,10 +1,10 @@
--- 
+--
 -- patch-indexes.sql
--- 
+--
 -- Fix up table indexes; new to stable release in November 2003
--- 
+--
 
-ALTER TABLE IF EXISTS/*$wgDBprefix*/links
+ALTER TABLE IF EXISTS /*$wgDBprefix*/links
    DROP INDEX l_from,
    ADD INDEX l_from (l_from);