Modify php.snippets