* code_map/view_mainmap.ml:
* tests/php/parsing/namespace_test1.php: