1
0
mirror of synced 2024-12-14 07:06:04 +03:00

Fixed bug with comment option not being added to column.

This commit is contained in:
Oleksandr Kovalov 2012-10-11 15:57:51 +00:00
parent 65fabc20c9
commit 90bbb35655

View File

@ -385,6 +385,12 @@ class SchemaTool
}
if (isset($mapping['options'])) {
if (isset($mapping['options']['comment'])) {
$options['comment'] = $mapping['options']['comment'];
unset($mapping['options']['comment']);
}
$options['customSchemaOptions'] = $mapping['options'];
}