F5643988

F5643988: generate_php_symbols.php