Make the PHP syntax checking less aggressive; also, disable F1 key
launching help.