    [PrimaryGlobal]
    interface Window {
    };

    interface Event {
    };

    dictionary EventInit {
    };

    partial interface Window {
                    attribute EventHandler ondeviceproximity;
                    attribute EventHandler onuserproximity;
    };

    dictionary DeviceProximityEventInit : EventInit {
        double value;
        double min;
        double max;
    };

    [Constructor (DOMString type, optional DeviceProximityEventInit eventInitDict)]
    interface DeviceProximityEvent : Event {
        readonly    attribute unrestricted double value;
        readonly    attribute unrestricted double min;
        readonly    attribute unrestricted double max;
    };

    dictionary UserProximityEventInit : EventInit {
        boolean near;
    };

    [Constructor (DOMString type, optional UserProximityEventInit eventInitDict)]
    interface UserProximityEvent : Event {
        readonly    attribute boolean near;
    };