Added in php-mode