*goddamnit

diff --git a/maintenance/archives/patch-archive-user-index.sql b/maintenance/archives/patch-archive-user-index.sql
index 2c2e9e4..82d98b9 100644 (file)
--- a/maintenance/archives/patch-archive-user-index.sql
+++ b/maintenance/archives/patch-archive-user-index.sql
@@ -1,4 +1,4 @@
 -- Adds a user,timestamp index to the archive table\r
 -- Used for browsing deleted contributions and renames\r
 ALTER TABLE /*$wgDBprefix*/archive \r
-       ADD INDEX usertext_timestamp ( ar_user_text , ar_timestamp )\r
+       ADD INDEX usertext_timestamp ( ar_user_text , ar_timestamp );\r