Turn on filetype plugin
Map F5 to php lint