// remove php_flag