add windows 8 and windows server 2012

diff --git a/ext/standard/info.c b/ext/standard/info.c
index 20e6b0c4a21fdeb3800b12f7936c3deacf7cfc8d..e8ba908070b17e2a5e9b7e5cd18a16de353a9047 100644 (file)
--- a/ext/standard/info.c
+++ b/ext/standard/info.c
@@ -316,7 +316,7 @@ char* php_get_windows_name()
        }
 
        if (VER_PLATFORM_WIN32_NT==osvi.dwPlatformId && osvi.dwMajorVersion > 4 ) {
-               if (osvi.dwMajorVersion == 6)   {
+               if (osvi.dwMajorVersion == 6) {
                        if( osvi.dwMinorVersion == 0 ) {
                                if( osvi.wProductType == VER_NT_WORKSTATION ) {
                                        major = "Windows Vista";
@@ -330,6 +330,12 @@ char* php_get_windows_name()
                                } else {
                                        major = "Windows Server 2008 R2";
                                }
+                       } else if ( osvi.dwMinorVersion == 2 ) {
+                               if( osvi.wProductType == VER_NT_WORKSTATION )  {
+                                       major = "Windows 8";
+                               } else {
+                                       major = "Windows Server 2012";
+                               }
                        } else {
                                major = "Unknown Windows version";
                        }