blob: ff6dddccc4399ca637dc1e036a32e23dcdc737be (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
|
// Copyright (c) 2012 The Chromium Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.
// This file contains various hacks needed to inform JSCompiler of various
// WebKit-specific properties and methods. It is used only with JSCompiler
// to verify the type-correctness of our code.
/** @type {HTMLElement} */
Document.prototype.activeElement;
/** @type {Array.<HTMLElement>} */
Document.prototype.all;
/** @type {function(string): void} */
Document.prototype.execCommand = function(command) {};
/** @return {void} Nothing. */
Document.prototype.webkitCancelFullScreen = function() {};
/** @type {boolean} */
Document.prototype.webkitIsFullScreen;
/** @type {boolean} */
Document.prototype.webkitHidden;
/** @type {number} */
Element.ALLOW_KEYBOARD_INPUT;
/** @param {number} flags
/** @return {void} Nothing. */
Element.prototype.webkitRequestFullScreen = function(flags) {};
/** @type {{getRandomValues: function(Uint16Array):void}} */
Window.prototype.crypto;
/** @constructor
@extends {HTMLElement} */
var HTMLEmbedElement = function() { };
/** @type {number} */
HTMLEmbedElement.prototype.height;
/** @type {number} */
HTMLEmbedElement.prototype.width;
/** @constructor */
var MutationRecord = function() {};
/** @type {string} */
MutationRecord.prototype.attributeName;
/** @type {Element} */
MutationRecord.prototype.target;
/** @type {string} */
MutationRecord.prototype.type;
/** @constructor
@param {function(Array.<MutationRecord>):void} callback */
var WebKitMutationObserver = function(callback) {};
/** @param {Element} element
@param {Object} options */
WebKitMutationObserver.prototype.observe = function(element, options) {};
// This string is replaced with the actual value in build-webapp.py.
var OAUTH2_USE_OFFICIAL_CLIENT_ID = false;
|
