Patches #67739

Fixes #67739: Windows 8.1/Server 2012 R2 OS build number reported as 6.2 (instead of 6.3)
Merge branch 'pull-request/756'
backport the fix for bug #67739
Merge branch 'PHP-5.4' into PHP-5.5

* PHP-5.4:
  backport the fix for bug #67739
Merge branch 'PHP-5.5' into PHP-5.6

* PHP-5.5:
  backport the fix for bug #67739
Merge branch 'PHP-5.6'

* PHP-5.6:
  backport the fix for bug #67739