Modify php.snippets (edit pre)