php_get_windows_name  700 ext/standard/info.c 		char *winver = php_get_windows_name();
php_get_windows_name  715 ext/standard/info.c 		char *winver = php_get_windows_name();