Delete php-mode.el