F15535307

F15535307: generate_php_symbols.php