F2889595

F2889595: generate_php_symbols.php