<?php

// AUTOMATICALLY GENERATED.  DO NOT EDIT.
// Use `composer build` to regenerate.

namespace Wikimedia\IDLeDOM;

/**
 * Navigator
 *
 * @see https://dom.spec.whatwg.org/#interface-navigator
 *
 * @property bool $cookieEnabled
 * @property string $appCodeName
 * @property string $appName
 * @property string $appVersion
 * @property string $platform
 * @property string $product
 * @property string $productSub
 * @property string $userAgent
 * @property string $vendor
 * @property string $vendorSub
 * @property string $oscpu
 * @property string $language
 * @property bool $onLine
 * @phan-forbid-undeclared-magic-properties
 */
interface Navigator extends NavigatorCookies, NavigatorID, NavigatorLanguage, NavigatorOnLine {
}