diff -r 000000000000 -r 6474c204b198 dom/webidl/DeviceProximityEvent.webidl
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/dom/webidl/DeviceProximityEvent.webidl	Wed Dec 31 06:09:35 2014 +0100
@@ -0,0 +1,20 @@
+/* -*- Mode: IDL; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*- */
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this file,
+ * You can obtain one at http://mozilla.org/MPL/2.0/.
+ */
+
+[Constructor(DOMString type, optional DeviceProximityEventInit eventInitDict)]
+interface DeviceProximityEvent : Event
+{
+  readonly attribute double value;
+  readonly attribute double min;
+  readonly attribute double max;
+};
+
+dictionary DeviceProximityEventInit : EventInit
+{
+  unrestricted double value = Infinity;
+  unrestricted double min = -Infinity;
+  unrestricted double max = Infinity;
+};