Update php.snip