update php.c