F2895260

F2895260: generate_php_symbols.php