add php.snippets