|
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 [Func="mozilla::dom::time::TimeManager::PrefEnabled"] |
|
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 }; |