add php-mode back