F9545461

F9545461: generate_php_symbols.php