alt php.snippets {}