From this link: https://docs.phalconphp.com/en/latest/reference/migrations.html I got an example where some options are set for a table like Engine. I want to know how can I set CHARSET? I didn't find any document describing the supported attributes in "options" key. Similarly, how can I set autoIncrement value?

My mysql query looks like:

CREATE TABLE <tableName> { ..... ..... } ENGINE=InnoDB DEFAULT CHARSET=utf8 AUTO_INCREMENT=1 ;