diff options
author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2021-02-25 20:21:05 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-02-25 20:21:05 -0500 |
commit | 782b945905c948b9a0495aa85524ad1a92c7bd97 (patch) | |
tree | 2dfe5e1b38a2f448f77f62135a974ca75002090f /ext/js/dom/document-util.js | |
parent | b2f225a0d6a63d65d0543539d688d33c51a4fb8e (diff) |
Header lint (#1444)
* Add eslint-plugin-header
* Add rule for header format
* Add missing header
* Fix header issues
Diffstat (limited to 'ext/js/dom/document-util.js')
0 files changed, 0 insertions, 0 deletions