modify php.snippets