diff options
Diffstat (limited to 'resources/src/mediawiki.base')
| -rw-r--r-- | resources/src/mediawiki.base/log.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/src/mediawiki.base/log.js b/resources/src/mediawiki.base/log.js index c9030829ef88..0ccf774a4ad7 100644 --- a/resources/src/mediawiki.base/log.js +++ b/resources/src/mediawiki.base/log.js @@ -1,7 +1,7 @@ // This file extends the mw.log skeleton defined in startup/mediawiki.js. // Code that is not needed by mw.loader is placed here. -/* eslint-disable no-console */ +/* eslint-disable no-console, es-x/no-set */ /** * @class mw |