some more settings go to XMLDBGenerator (as they are default)

diff --git a/lib/xmldb/classes/generators/mysql/mysql.class.php b/lib/xmldb/classes/generators/mysql/mysql.class.php
index 500e968ed20582116b3b924914a07b8b3cae9018..2ae241a9d81e60cdabb4057197c0df7ed0ada0a0 100644 (file)
--- a/lib/xmldb/classes/generators/mysql/mysql.class.php
+++ b/lib/xmldb/classes/generators/mysql/mysql.class.php
@@ -41,9 +41,6 @@ class XMLDBmysql extends XMLDBGenerator {
 
     var $primary_key_name = ''; //To force primary key names to one string (null=no force)
 
-    var $unique_keys = false; // Does the generator build unique key
-    var $foreign_keys = false; // Does the generator build foreign keys
-
     var $drop_primary_key = 'ALTER TABLE TABLENAME DROP KEYTYPE KEYNAME'; // Template to drop PKs
                 // with automatic replace for TABLENAME, KEYTYPE and KEYNAME