modified:   snippets/php.snippets