F8227798

F8227798: generate_ctags_symbols.php