Timo Tijhof b547aa6396 Use PHP_OS_FAMILY instead of substr(PHP_OS,0,3) for Windows checks ... This is new in PHP 7.2, and has a documented set of values at <https://www.php.net/manual/en/reserved.constants.php>. Change-Id: If732a652f091c26d7d645766ba6e76fbf464f755		2020-06-13 19:44:00 +00:00
..
GlobalIdGenerator.php	Use PHP_OS_FAMILY instead of substr(PHP_OS,0,3) for Windows checks	2020-06-13 19:44:00 +00:00