docs = "https://developer.mozilla.org/en-US/docs/Web/API/HTMLDocument"
detectSource = """
"HTMLDocument"in this
"""
baseDir = "HTMLDocument"
hasTests = false
isTestable = true
isPublic = true
size = 32

[browsers]
ie = "9"
