- Linting: Remove reference to dom-polyfill

.eslintignore

@@ -30,11 +30,4 @@ src/editor/jspdf/underscore-min.js
 
 src/editor/extensions/ext-mathjax/mathjax
 
-# Todo: We should at least check `compat/compat` in our other files, however
-## Two "external" items are modified locally, so we undo their ignoring
 src/external/**/*
-!src/external/dom-polyfill
-src/external/dom-polyfill/*
-!src/external/dom-polyfill/dom-polyfill.js
-!src/external/dynamic-import-polyfill
-

.eslintrc.js

@@ -145,7 +145,6 @@ module.exports = {
         'src/editor/typedefs.js',
         'src/editor/redirect-on-no-module-support.js',
         'src/editor/extensions/ext-imagelib/index.js',
-        'src/external/dom-polyfill/dom-polyfill.js',
         'screencasts/svgopen2010/script.js'
       ],
       rules: {