dom/webidl/MozTimeManager.webidl@97036ab72558
dom/webidl/MozTimeManager.webidl
Tue, 06 Jan 2015 21:39:09 +0100
- author
- Michael Schloh von Bennewitz <michael@schloh.com>
- date
- Tue, 06 Jan 2015 21:39:09 +0100
- branch
- TOR_BUG_9701
- changeset 8
- 97036ab72558
- permissions
- -rw-r--r--
Conditionally force memory storage according to privacy.thirdparty.isolate;
This solves Tor bug #9701, complying with disk avoidance documented in
https://www.torproject.org/projects/torbrowser/design/#disk-avoidance.
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/. */
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 };
