Switch to better php-mode.