MDL-26290 make sure ini_get('mysqli.default_port') returns number