F1482125

F1482125: generate_php_symbols.php