change types of chargingTime and dischargingTime from 'double' to 'unrestricted double' <http://lists.w3.org/Archives/Public/public-device-apis/2012Nov/0045.html>
--- a/battery/Overview.html Thu Nov 15 12:15:02 2012 +0200
+++ b/battery/Overview.html Tue Nov 20 10:55:01 2012 +0200
@@ -240,12 +240,12 @@
<dd>
Represents if the system's battery is charging.
</dd>
- <dt>readonly attribute double chargingTime</dt>
+ <dt>readonly attribute unrestricted double chargingTime</dt>
<dd>
Represents the time remaining in seconds until the system's battery
is fully charged.
</dd>
- <dt>readonly attribute double dischargingTime</dt>
+ <dt>readonly attribute unrestricted double dischargingTime</dt>
<dd>
Represents the time remaining in seconds until the system's battery
is completely discharged and the system is about to be suspended.