/usr/share/php/SebastianBergmann/Environment/OperatingSystem.php is in phpunit-environment 3.1.0-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
| 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 | <?php
/*
 * This file is part of sebastian/environment.
 *
 * (c) Sebastian Bergmann <sebastian@phpunit.de>
 *
 * For the full copyright and license information, please view the LICENSE
 * file that was distributed with this source code.
 */
declare(strict_types=1);
namespace SebastianBergmann\Environment;
final class OperatingSystem
{
    /**
     * Returns PHP_OS_FAMILY (if defined (which it is on PHP >= 7.2)).
     * Returns a string (compatible with PHP_OS_FAMILY) derived from PHP_OS otherwise.
     */
    public function getFamily(): string
    {
        if (\defined('PHP_OS_FAMILY')) {
            return PHP_OS_FAMILY;
        }
        if (DIRECTORY_SEPARATOR === '\\') {
            return 'Windows';
        }
        switch (PHP_OS) {
            case 'Darwin':
                return 'Darwin';
            case 'DragonFly':
            case 'FreeBSD':
            case 'NetBSD':
            case 'OpenBSD':
                return 'BSD';
            case 'Linux':
                return 'Linux';
            case 'SunOS':
                return 'Solaris';
            default:
                return 'Unknown';
        }
    }
}
 |