snippet / php-mode