mysql alter table alter column is "modify column"

diff --git a/lib/xmldb/classes/generators/mysql/mysql.class.php b/lib/xmldb/classes/generators/mysql/mysql.class.php
index ea26ce798a385b536bd8cb3f70a61bfe1fac44f6..ebaef7a290ed8d997e1a61b0fe171412a661ec1d 100644 (file)
--- a/lib/xmldb/classes/generators/mysql/mysql.class.php
+++ b/lib/xmldb/classes/generators/mysql/mysql.class.php
@@ -53,6 +53,8 @@ class XMLDBmysql extends XMLDBGenerator {
     var $concat_character = null; //Characters to be used as concatenation operator. If not defined
                                   //MySQL CONCAT function will be use
 
+    var $alter_column_sql = 'ALTER TABLE TABLENAME MODIFY COLUMN COLUMNSPECS'; //The SQL template to alter columns
+
     /**
      * Creates one new XMLDBmysql
      */