diff options
author | Pierre Joye <pierre.php@gmail.com> | 2013-03-27 07:29:47 +0100 |
---|---|---|
committer | Pierre Joye <pierre.php@gmail.com> | 2013-03-27 07:29:47 +0100 |
commit | f01a7e54d3d3ab82e7739b1e43a21179297208f6 (patch) | |
tree | fb5b3005dd4263cb7d34739b3b84eea296c3b37c | |
parent | d0aa831614aafc2ae4975a0dc1e92ab97651d818 (diff) | |
download | php-git-f01a7e54d3d3ab82e7739b1e43a21179297208f6.tar.gz |
add windows 8 and windows server 2012
-rw-r--r-- | ext/standard/info.c | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/ext/standard/info.c b/ext/standard/info.c index 20e6b0c4a2..e8ba908070 100644 --- 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"; } |