php_get_windows_name  781 ext/standard/info.c 		char *winver = php_get_windows_name();
php_get_windows_name  796 ext/standard/info.c 		char *winver = php_get_windows_name();