summaryrefslogtreecommitdiff
path: root/maintenance/archives/patch-user_rights.sql
diff options
context:
space:
mode:
Diffstat (limited to 'maintenance/archives/patch-user_rights.sql')
-rw-r--r--maintenance/archives/patch-user_rights.sql2
1 files changed, 1 insertions, 1 deletions
diff --git a/maintenance/archives/patch-user_rights.sql b/maintenance/archives/patch-user_rights.sql
index a32ef457..4c6846e0 100644
--- a/maintenance/archives/patch-user_rights.sql
+++ b/maintenance/archives/patch-user_rights.sql
@@ -14,7 +14,7 @@ CREATE TABLE /*$wgDBprefix*/user_rights (
UNIQUE KEY ur_user (ur_user)
-) TYPE=InnoDB;
+) /*$wgDBTableOptions*/;
INSERT INTO /*$wgDBprefix*/user_rights SELECT user_id,user_rights FROM /*$wgDBprefix*/user;