F5644061

F5644061: generate_php_symbols.php