old_contents: // https://developer.mozilla.org/en-US/docs/Web/API
  
  /**
   * @external {CanvasRenderingContext2D} https://developer.mozilla.org/en-US/docs/Web/API/CanvasRenderingContext2D
   */
  
  /**
   * @external {DocumentFragment} https://developer.mozilla.org/en-US/docs/Web/API/DocumentFragment
   */
  
  /**
   * @external {Element} https://developer.mozilla.org/en-US/docs/Web/API/Element
   */
  
  /**
   * @external {Event} https://developer.mozilla.org/en-US/docs/Web/API/Event
   */
  
  /**
   * @external {Node} https://developer.mozilla.org/en-US/docs/Web/API/Node
   */
  
  /**
   * @external {NodeList} https://developer.mozilla.org/en-US/docs/Web/API/NodeList
   */
  
  /**
   * @external {XMLHttpRequest} https://developer.mozilla.org/en/docs/Web/API/XMLHttpRequest
   */
  
new_contents: // https://developer.mozilla.org/en-US/docs/Web/API
  
  /**
   * @external {CanvasRenderingContext2D} https://developer.mozilla.org/en-US/docs/Web/API/CanvasRenderingContext2D
   */
  
  /**
   * @external {DocumentFragment} https://developer.mozilla.org/en-US/docs/Web/API/DocumentFragment
   */
  
  /**
   * @external {Element} https://developer.mozilla.org/en-US/docs/Web/API/Element
   */
  
  /**
   * @external {Event} https://developer.mozilla.org/en-US/docs/Web/API/Event
   */
  
  /**
   * @external {Node} https://developer.mozilla.org/en-US/docs/Web/API/Node
   */
  
  /**
   * @external {NodeList} https://developer.mozilla.org/en-US/docs/Web/API/NodeList
   */
  
  /**
   * @external {XMLHttpRequest} https://developer.mozilla.org/en/docs/Web/API/XMLHttpRequest
   */
   
   /**
   * @external {AudioContext} https://developer.mozilla.org/en/docs/Web/API/AudioContext
   */
  
subject: Update WebAPIExternal.js