text: /** @license
   * Copyright 2016 Google LLC
   * SPDX-License-Identifier: Apache-2.0
   */
  
  /**
   * @fileoverview Externs for fullscreen methods ahead of new compiler release.
   * @externs
   *
   * The old compiler we're using already has an incompatible definition for
   * requestFullscreen on Element.  Since we can't replace it on Element, we add
   * ours on HTMLElement, one subclass down.  This is still low-level enough to
   * apply to all reasonable usage of the fullscreen API.
   *
   * The latest compiler version has the updated definition on Element.
   *
   * TODO: Remove once the compiler is upgraded.
   */
  
  /**
   * @record
   * @see https://fullscreen.spec.whatwg.org/#dictdef-fullscreenoptions
   */
  function FullscreenOptions() {}
  
  /** @type {string} */
  FullscreenOptions.prototype.navigationUI;
  
  /**
   * @see https://fullscreen.spec.whatwg.org/#dom-element-requestfullscreen
   * @param {!FullscreenOptions=} options
   * @return {!Promise}
   * @override
   * @suppress {checkTypes}
   */
  HTMLElement.prototype.requestFullscreen = function(options) {};
  