Skip to content
JSON lint

es: Remove Document.registerElement from MDN as en-US #1211

Sign in to view logs

es: Remove Document.registerElement from MDN as en-US

es: Remove Document.registerElement from MDN as en-US #1211

Triggered via pull request June 28, 2023 18:37
@Graywolf9Graywolf9
synchronize #13861
Graywolf9:es-remove-Document.registerElement
Status Success
Total duration 56s
Artifacts –

pr-check_json.yml

on: pull_request
docs
44s
docs
Fit to window
Zoom out
Zoom in