diff options
Diffstat (limited to 'maintenance/archives/patch-user_groups.sql')
| -rw-r--r-- | maintenance/archives/patch-user_groups.sql | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/maintenance/archives/patch-user_groups.sql b/maintenance/archives/patch-user_groups.sql index 50f99993..20e00520 100644 --- a/maintenance/archives/patch-user_groups.sql +++ b/maintenance/archives/patch-user_groups.sql @@ -22,4 +22,4 @@ CREATE TABLE /*$wgDBprefix*/user_groups ( PRIMARY KEY (ug_user,ug_group), KEY (ug_group) -) TYPE=InnoDB; +) /*$wgDBTableOptions*/; |