modify snippets/php-mode