* lang_php/parsing/parser_php.mly: fix
* lang_php/parsing/lexer_php.mll:
* code_map/view_mainmap.ml: contextual menu for choice of navigation
* code_map/view_mainmap.ml: