shortcut to quickly switch from php-mode to web-mode