winver            781 ext/standard/info.c 		char *winver = php_get_windows_name();
winver            783 ext/standard/info.c 		if(winver == NULL) {
winver            786 ext/standard/info.c 			snprintf(tmp_uname, sizeof(tmp_uname), "build %d (%s)", dwBuild, winver);
winver            789 ext/standard/info.c 		if(winver) {
winver            790 ext/standard/info.c 			efree(winver);
winver            796 ext/standard/info.c 		char *winver = php_get_windows_name();
winver            804 ext/standard/info.c 			if (strncmp(winver, "Windows 8.1", 11) == 0 || strncmp(winver, "Windows Server 2012 R2", 22) == 0) {
winver            811 ext/standard/info.c 				 dwWindowsMajorVersion, dwWindowsMinorVersion, dwBuild, winver?winver:"unknown", wincpu);
winver            812 ext/standard/info.c 		if(winver) {
winver            813 ext/standard/info.c 			efree(winver);