dom-shims/shim/HTMLDocument.js

Shims / polyfills for simple DOM API's missing in not-so-modern browsers.

// https://developer.mozilla.org/en-US/docs/Web/API/document
if (!('HTMLDocument' in window)) {
  window.HTMLDocument = window.Document;
}