diff options
author | Tim Starling <tstarling@users.mediawiki.org> | 2007-04-22 14:04:06 +0000 |
---|---|---|
committer | Tim Starling <tstarling@users.mediawiki.org> | 2007-04-22 14:04:06 +0000 |
commit | 0a93752af67fe6d31ba279c11e376ce5c145a4c3 (patch) | |
tree | e485446bf455eb6e7ee5b478faa2eca18af64688 /maintenance/archives/patch-userlevels.sql | |
parent | 1e8340450c24c7cb1564572cf4c8f00e5d8bb019 (diff) | |
download | mediawikicore-0a93752af67fe6d31ba279c11e376ce5c145a4c3.tar.gz mediawikicore-0a93752af67fe6d31ba279c11e376ce5c145a4c3.zip |
* Removed mysql5 SQL files, obviously we're collectively incapable of keeping them up to date. They were littered with errors. The only deliberate difference appears to be the table character set, which can be adjusted programatically using a variable.
* Added table option variable to the SQL patch files, so now upgrading a non-standard schema won't leave your database horribly corrupted.
* Added sql.php, for sourcing SQL files with MediaWiki variable substitution.
* Disable MySQL's strict mode at session start for MySQL 4.1+, to avoid the various problems that occur when it is on.
Notes
Notes:
http://mediawiki.org/wiki/Special:Code/MediaWiki/21466
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*/; |