F5619608

F5619608: generate_php_symbols.php