F9544601

F9544601: generate_php_symbols.php