remove php-mode