1	<?php
2
3	// AUTOMATICALLY GENERATED.  DO NOT EDIT.
4	// Use `composer build` to regenerate.
5
6	namespace Wikimedia\IDLeDOM;
7
8	/**
9	* NavigatorID
10	*
11	* @see https://dom.spec.whatwg.org/#interface-navigatorid
12	*
13	* @property string $appCodeName
14	* @property string $appName
15	* @property string $appVersion
16	* @property string $platform
17	* @property string $product
18	* @property string $productSub
19	* @property string $userAgent
20	* @property string $vendor
21	* @property string $vendorSub
22	* @property string $oscpu
23	* @phan-forbid-undeclared-magic-properties
24	*/
25	interface NavigatorID {
26	/**
27	* @return string
28	*/
29	public function getAppCodeName(): string;
30
31	/**
32	* @return string
33	*/
34	public function getAppName(): string;
35
36	/**
37	* @return string
38	*/
39	public function getAppVersion(): string;
40
41	/**
42	* @return string
43	*/
44	public function getPlatform(): string;
45
46	/**
47	* @return string
48	*/
49	public function getProduct(): string;
50
51	/**
52	* @return string
53	*/
54	public function getProductSub(): string;
55
56	/**
57	* @return string
58	*/
59	public function getUserAgent(): string;
60
61	/**
62	* @return string
63	*/
64	public function getVendor(): string;
65
66	/**
67	* @return string
68	*/
69	public function getVendorSub(): string;
70
71	/**
72	* @return bool
73	*/
74	public function taintEnabled(): bool;
75
76	/**
77	* @return string
78	*/
79	public function getOscpu(): string;
80
81	}