diff options
Diffstat (limited to 'maintenance/archives/patch-user_rights.sql')
-rw-r--r-- | maintenance/archives/patch-user_rights.sql | 2 |
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; |