F8229583

F8229583: generate_ctags_symbols.php