PHP is also handled by web-mode