F2895919

F2895919: generate_php_symbols.php