diff options
Diffstat (limited to 'maintenance/archives/patch-userlevels.sql')
| -rw-r--r-- | maintenance/archives/patch-userlevels.sql | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/maintenance/archives/patch-userlevels.sql b/maintenance/archives/patch-userlevels.sql index ab3a9a7ba803..17ff3c5db8cb 100644 --- a/maintenance/archives/patch-userlevels.sql +++ b/maintenance/archives/patch-userlevels.sql @@ -11,7 +11,7 @@ CREATE TABLE /*$wgDBprefix*/groups ( gr_rights tinyblob, PRIMARY KEY (gr_id) -) TYPE=InnoDB; +) /*$wgDBTableOptions*/; -- Relation table between user and groups CREATE TABLE /*$wgDBprefix*/user_groups ( @@ -19,4 +19,4 @@ CREATE TABLE /*$wgDBprefix*/user_groups ( ug_group int(5) unsigned NOT NULL default '0', PRIMARY KEY (ug_user,ug_group) -) TYPE=InnoDB; +) /*$wgDBTableOptions*/; |