dom/webidl/MozTimeManager.webidl

   1 /* This Source Code Form is subject to the terms of the Mozilla Public
   2  * License, v. 2.0. If a copy of the MPL was not distributed with this
   3  * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
   4
   5 [PrefControlled]
   6 interface MozTimeManager {
   7   /* Set the system time.
   8    *
   9    * The |time| argument can be either a Date object or a number.
  10    *
  11    * - If |time| is a number, it's interpreted as milliseconds
  12    *   since the epoch (midnight UTC on January 1, 1970).
  13    * - If |time| is a Date object, |set(time)| is equivalent to
  14    *   |set(time.getTime())|.
  15    */
  16   void set(Date time);
  17   void set(double time);
  18 };