F3682234

F3682234: generate_ctags_symbols.php