<?php json_encode(mixed $value, int $flags = 0, int $depth = 512): string|false
<?php $definition .= ',' . PHP_EOL; $definition = str_replace( "/** {$column->dataType()}_attributes **/", json_encode($column->attributes()), $definition ); } elseif (in_array($column->dataType(), ['decimal', 'double', 'float'])) {
<?php if (!empty($column->attributes()) && !$this->isIdOrUuid($column->dataType())) { $column_definition .= ', '; if (in_array($column->dataType(), ['set', 'enum'])) { $column_definition .= json_encode($column->attributes()); } else { $column_definition .= implode(', ', $column->attributes()); }