F15534563

F15534563: generate_php_symbols.php