update php.snippets