remove php-mode.