dom/webidl/MozTimeManager.webidl
author Daniel Holbert <dholbert@cs.stanford.edu>
Tue, 30 Jan 2018 22:24:58 -0500
branchSEAMONKEY_2_49_ESR_RELBRANCH
changeset 357576 3a4afe7ecac570decfb1d388eee2682d5d15dbc8
parent 172757 20a329b254aed056453d859c65a13639c293d433
permissions -rw-r--r--
Bug 958714 part 3: Remove obsolete assertion & comment. r=mats a=IanN DONTBUILD CLOSED TREE SeaMonkey ESR52 release branch only. MozReview-Commit-ID: jL2Xi4Okhb

/* This Source Code Form is subject to the terms of the Mozilla Public
 * License, v. 2.0. If a copy of the MPL was not distributed with this
 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */

[Func="mozilla::dom::time::TimeManager::PrefEnabled"]
interface MozTimeManager {
  /* 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 milliseconds
   *   since the epoch (midnight UTC on January 1, 1970).
   * - If |time| is a Date object, |set(time)| is equivalent to
   *   |set(time.getTime())|.
   */
  void set(Date time);
  void set(double time);
};