F5619548

F5619548: generate_ctags_symbols.php