Modify additional-setting/snippets/php.snippets