F37779

F37779: generate_ctags_symbols.php