F2892998

F2892998: generate_php_symbols.php