Index length can be a `string`: ensure that it is an integer when read by the `MySqlSchemaManager`#3420

Merged

morozov merged 1 commit intodoctrine:masterfrom leofeyer:hotfix/index-length

Jan 6, 2019

+14-1

Commits on Jan 6, 2019

Cast the index length to int in the MySqlSchemaManager class
leofeyer
committed