F5620463

F5620463: generate_php_symbols.php