F5621328

F5621328: generate_php_symbols.php