Update php.snippets