diff options
author | Muhammet Kara <muhammet.kara@collabora.com> | 2020-09-10 17:29:35 +0300 |
---|---|---|
committer | Muhammet Kara <muhammet.kara@collabora.com> | 2020-09-10 17:32:13 +0300 |
commit | 9b2ea5197f79887f7523f6998997f47a244c4f43 (patch) | |
tree | 7797974d86f0cdc5929500992e8f721fb50eda10 /lib | |
parent | 0bcbe3c32afdb961a7a9e79a6f0b25e004af1853 (diff) |
Use PHP_OS instead of PHP_OS_FAMILY when PHP version < 7.2
Suggested by Julius Härtl in 41ba1c4b6c25b25abbdb85d0849b4be609827170
Signed-off-by: Muhammet Kara <muhammet.kara@collabora.com>
Diffstat (limited to 'lib')
-rw-r--r-- | lib/Settings/Admin.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Settings/Admin.php b/lib/Settings/Admin.php index b27e8138..8dc8c3bd 100644 --- a/lib/Settings/Admin.php +++ b/lib/Settings/Admin.php @@ -91,7 +91,7 @@ class Admin implements ISettings { 'settings' => $this->appConfig->getAppSettings(), 'demo_servers' => $this->demoService->fetchDemoServers(), 'web_server' => strtolower($_SERVER['SERVER_SOFTWARE']), - 'os_family' => PHP_OS_FAMILY, + 'os_family' => PHP_VERSION_ID >= 70200 ? PHP_OS_FAMILY : PHP_OS, 'platform' => php_uname('m') ] ], |