diff --git a/lib/xmldb/classes/generators/mysql/mysql.class.php b/lib/xmldb/classes/generators/mysql/mysql.class.php
index c8214216aa5..fa8f302136a 100644
--- a/lib/xmldb/classes/generators/mysql/mysql.class.php
+++ b/lib/xmldb/classes/generators/mysql/mysql.class.php
@@ -125,6 +125,8 @@ class XMLDBmysql extends XMLDBGenerator {
                     $dbtype .= '(' . $xmldb_length;
                     if (!empty($xmldb_decimals)) {
                         $dbtype .= ',' . $xmldb_decimals;
+                    } else {
+                        $dbtype .= ', 0'; // In MySQL, if length is specified, decimals are mandatory for FLOATs
                     }
                     $dbtype .= ')';
                 }