dom/webidl/MozTimeManager.webidl@129ffea94266 (annotated)
dom/webidl/MozTimeManager.webidl
Sat, 03 Jan 2015 20:18:00 +0100
- author
- Michael Schloh von Bennewitz <michael@schloh.com>
- date
- Sat, 03 Jan 2015 20:18:00 +0100
- branch
- TOR_BUG_3246
- changeset 7
- 129ffea94266
- permissions
- -rw-r--r--
Conditionally enable double key logic according to:
private browsing mode or privacy.thirdparty.isolate preference and
implement in GetCookieStringCommon and FindCookie where it counts...
With some reservations of how to convince FindCookie users to test
condition and pass a nullptr when disabling double key logic.
| michael@0 | 1 | /* This Source Code Form is subject to the terms of the Mozilla Public |
| michael@0 | 2 | * License, v. 2.0. If a copy of the MPL was not distributed with this |
| michael@0 | 3 | * file, You can obtain one at http://mozilla.org/MPL/2.0/. */ |
| michael@0 | 4 | |
| michael@0 | 5 | [Func="mozilla::dom::time::TimeManager::PrefEnabled"] |
| michael@0 | 6 | interface MozTimeManager { |
| michael@0 | 7 | /* Set the system time. |
| michael@0 | 8 | * |
| michael@0 | 9 | * The |time| argument can be either a Date object or a number. |
| michael@0 | 10 | * |
| michael@0 | 11 | * - If |time| is a number, it's interpreted as milliseconds |
| michael@0 | 12 | * since the epoch (midnight UTC on January 1, 1970). |
| michael@0 | 13 | * - If |time| is a Date object, |set(time)| is equivalent to |
| michael@0 | 14 | * |set(time.getTime())|. |
| michael@0 | 15 | */ |
| michael@0 | 16 | void set(Date time); |
| michael@0 | 17 | void set(double time); |
| michael@0 | 18 | }; |
