From d411762a5e07707e85c07248b82631ed12822cfd Mon Sep 17 00:00:00 2001 From: "jamiewalch@google.com" Date: Thu, 29 Mar 2012 00:28:01 +0000 Subject: Added screen options menu. BUG=119092 TEST=Manual Review URL: https://chromiumcodereview.appspot.com/9884001 git-svn-id: svn://svn.chromium.org/chrome/trunk/src@129535 0039d316-1c4b-4281-b951-d872f2087c98 --- remoting/webapp/jscompiler_hacks.js | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 remoting/webapp/jscompiler_hacks.js (limited to 'remoting/webapp/jscompiler_hacks.js') diff --git a/remoting/webapp/jscompiler_hacks.js b/remoting/webapp/jscompiler_hacks.js new file mode 100644 index 0000000..1d3bc3e --- /dev/null +++ b/remoting/webapp/jscompiler_hacks.js @@ -0,0 +1,19 @@ +// 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 Array. */ +Document.prototype.all; + +/** @return {void} Nothing. */ +Document.prototype.webkitCancelFullScreen = function() {}; + +/** @type {boolean} */ +Document.prototype.webkitIsFullScreen; + +/** @return {void} Nothing. */ +Element.prototype.webkitRequestFullScreen = function() {}; -- cgit v1.1