winver            700 ext/standard/info.c 		char *winver = php_get_windows_name();
winver            702 ext/standard/info.c 		if(winver == NULL) {
winver            705 ext/standard/info.c 			snprintf(tmp_uname, sizeof(tmp_uname), "build %d (%s)", dwBuild, winver);
winver            708 ext/standard/info.c 		if(winver) {
winver            709 ext/standard/info.c 			efree(winver);
winver            715 ext/standard/info.c 		char *winver = php_get_windows_name();
winver            718 ext/standard/info.c 		ZEND_ASSERT(winver != NULL);
winver            725 ext/standard/info.c 			if (strncmp(winver, "Windows 8.1", 11) == 0 || strncmp(winver, "Windows Server 2012 R2", 22) == 0) {
winver            732 ext/standard/info.c 				 dwWindowsMajorVersion, dwWindowsMinorVersion, dwBuild, winver?winver:"unknown", wincpu);
winver            733 ext/standard/info.c 		if(winver) {
winver            734 ext/standard/info.c 			efree(winver);