michael@0: /* This Source Code Form is subject to the terms of the Mozilla Public
michael@0:  * License, v. 2.0. If a copy of the MPL was not distributed with this
michael@0:  * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
michael@0: 
michael@0: [Func="mozilla::dom::time::TimeManager::PrefEnabled"]
michael@0: interface MozTimeManager {
michael@0:   /* Set the system time.
michael@0:    *
michael@0:    * The |time| argument can be either a Date object or a number.
michael@0:    *
michael@0:    * - If |time| is a number, it's interpreted as milliseconds
michael@0:    *   since the epoch (midnight UTC on January 1, 1970).
michael@0:    * - If |time| is a Date object, |set(time)| is equivalent to
michael@0:    *   |set(time.getTime())|.
michael@0:    */
michael@0:   void set(Date time);
michael@0:   void set(double time);
michael@0: };