| Index: third_party/WebKit/Source/modules/device_orientation/DeviceMotionEvent.idl
|
| diff --git a/third_party/WebKit/Source/modules/device_orientation/DeviceMotionEvent.idl b/third_party/WebKit/Source/modules/device_orientation/DeviceMotionEvent.idl
|
| index 5477afd61d32058f0179e3dc42fd25407a600e5d..e1055208fbfbe209ee39daeb62c4b24982b8303e 100644
|
| --- a/third_party/WebKit/Source/modules/device_orientation/DeviceMotionEvent.idl
|
| +++ b/third_party/WebKit/Source/modules/device_orientation/DeviceMotionEvent.idl
|
| @@ -30,5 +30,5 @@ interface DeviceMotionEvent : Event {
|
| readonly attribute DeviceAcceleration? acceleration;
|
| readonly attribute DeviceAcceleration? accelerationIncludingGravity;
|
| readonly attribute DeviceRotationRate? rotationRate;
|
| - readonly attribute double? interval;
|
| + readonly attribute double interval;
|
| };
|
|
|