F5620811

F5620811: generate_ctags_symbols.php