The Tor Browser / file diff

     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/dom/webidl/MozTimeManager.webidl	Wed Dec 31 06:09:35 2014 +0100
     1.3 @@ -0,0 +1,18 @@
     1.4 +/* This Source Code Form is subject to the terms of the Mozilla Public
     1.5 + * License, v. 2.0. If a copy of the MPL was not distributed with this
     1.6 + * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
     1.7 +
     1.8 +[Func="mozilla::dom::time::TimeManager::PrefEnabled"]
     1.9 +interface MozTimeManager {
    1.10 +  /* Set the system time.
    1.11 +   *
    1.12 +   * The |time| argument can be either a Date object or a number.
    1.13 +   *
    1.14 +   * - If |time| is a number, it's interpreted as milliseconds
    1.15 +   *   since the epoch (midnight UTC on January 1, 1970).
    1.16 +   * - If |time| is a Date object, |set(time)| is equivalent to
    1.17 +   *   |set(time.getTime())|.
    1.18 +   */
    1.19 +  void set(Date time);
    1.20 +  void set(double time);
    1.21 +};