F1421984

F1421984: generate_php_symbols.php