F2889978

F2889978: generate_php_symbols.php