F5619998

F5619998: generate_ctags_symbols.php