F15535074

F15535074: generate_php_symbols.php