Update php.inc