[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;
};