Delete php-mode.el~