Use web-mode for php file