modified php-mode