F1480159

F1480159: generate_php_symbols.php