F1930499

F1930499: generate_php_symbols.php