F5620046

F5620046: generate_ctags_symbols.php