Update php_functions.c