From 1e5d7a137e20719472018ce5c51c755fd51cc3bb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Philip=20J=C3=A4genstedt?= <philip@foolip.org>
Date: Tue, 21 Jul 2020 19:50:40 +0200
Subject: [PATCH] Drop duplicate PermissionState definition

Fixes https://github.com/w3c/deviceorientation/issues/82.
---
 index.bs | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/index.bs b/index.bs
index 66eaeaf..a62a4c9 100644
--- a/index.bs
+++ b/index.bs
@@ -177,11 +177,6 @@ dictionary DeviceOrientationEventInit : EventInit {
     double? gamma = null;
     boolean absolute = false;
 };
-
-enum PermissionState {
-    "granted",
-    "denied",
-};
 </pre>
 
 The {{DeviceOrientationEvent/alpha}} attribute must return the value it was initialized to. When the object is created, this attribute must be initialized to null.