Fix php_functions.snip by self