add php.ini file flag option