Update php-mode.php