1
0
mirror of synced 2025-01-18 06:21:40 +03:00

Merge pull request #474 from okovalov/master

Fixed bug with comment option not being added to column.
This commit is contained in:
Guilherme Blanco 2012-10-11 22:22:59 -07:00
commit a4b85c49c9

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'];
}