Bug 791962 - Time API: Clean up the usage comment in nsIDOMTimeManager (s/seconds/milliseconds). rs=mounir DONTBUILD
authorGene Lian <clian@mozilla.com>
Tue, 18 Sep 2012 22:38:06 +0800
changeset 107387 cd720de0b57eddd8c833e8c4943cfbbebffcbfb5
parent 107386 09c5ad99ae92299f99c8809a53e66f86181969f5
child 107388 5560ff65b090bcde611394c2b741bc2d8183f286
push id23486
push usergraememcc_firefox@graeme-online.co.uk
push dateWed, 19 Sep 2012 14:18:40 +0000
treeherdermozilla-central@0c8ac138706e [default view] [failures only]
perfherder[talos] [build metrics] [platform microbench] (compared to previous push)
reviewersmounir
bugs791962
milestone18.0a1
first release with
nightly linux32
nightly linux64
nightly mac
nightly win32
nightly win64
last release without
nightly linux32
nightly linux64
nightly mac
nightly win32
nightly win64
Bug 791962 - Time API: Clean up the usage comment in nsIDOMTimeManager (s/seconds/milliseconds). rs=mounir DONTBUILD
dom/time/nsIDOMTimeManager.idl
--- a/dom/time/nsIDOMTimeManager.idl
+++ b/dom/time/nsIDOMTimeManager.idl
@@ -6,15 +6,15 @@
 
 [scriptable, builtinclass, uuid(d29beaaa-bd54-4fd5-9f18-e0eedb1dc96d)]
 interface nsIDOMMozTimeManager : nsISupports
 {
   /* Set the system time.
    *
    * The |time| argument can be either a Date object or a number.
    *
-   * - If |time| is a number, it's interpreted as seconds since the epoch 
-   *   (midnight UTC on January 1, 1970)
-   * - If |time| is a Date object, |set(time)| is equivalent to 
+   * - If |time| is a number, it's interpreted as milliseconds
+   *   since the epoch (midnight UTC on January 1, 1970).
+   * - If |time| is a Date object, |set(time)| is equivalent to
    *   |set(time.getTime())|.
    */
   [implicit_jscontext] void set(in jsval time);
 };