richdocuments/lib/Settings
Muhammet Kara 9b2ea5197f Use PHP_OS instead of PHP_OS_FAMILY when PHP version < 7.2
Suggested by Julius Härtl in 41ba1c4b6c

Signed-off-by: Muhammet Kara <muhammet.kara@collabora.com>
2020-09-10 17:32:13 +03:00
..
Admin.php Use PHP_OS instead of PHP_OS_FAMILY when PHP version < 7.2 2020-09-10 17:32:13 +03:00
Personal.php Disable template selector and settings if the capability is not available 2018-12-20 07:42:54 +01:00
Section.php Use product name from collabora capabilities 2019-04-16 16:45:46 +02:00