Merge "Remove unneeded "eslint-disable no-restricted-properties" from several files"
[lhc/web/wiklou.git] / resources / src / mediawiki.base /
drwxr-xr-x   ..
-rw-r--r-- 18747 mediawiki.base.js
-rw-r--r-- 2144 mediawiki.errorLogger.js