1	<?php
2
3	// AUTOMATICALLY GENERATED.  DO NOT EDIT.
4	// Use `composer build` to regenerate.
5
6	namespace Wikimedia\IDLeDOM;
7
8	/**
9	* Navigator
10	*
11	* @see https://dom.spec.whatwg.org/#interface-navigator
12	*
13	* @property bool $cookieEnabled
14	* @property string $appCodeName
15	* @property string $appName
16	* @property string $appVersion
17	* @property string $platform
18	* @property string $product
19	* @property string $productSub
20	* @property string $userAgent
21	* @property string $vendor
22	* @property string $vendorSub
23	* @property string $oscpu
24	* @property string $language
25	* @property bool $onLine
26	* @phan-forbid-undeclared-magic-properties
27	*/
28	interface Navigator extends NavigatorCookies, NavigatorID, NavigatorLanguage, NavigatorOnLine {
29	}