modified php.snippets