F8229605

F8229605: generate_php_symbols.php