wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-11-28 01:10:04 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Popups/resources/dist
History
Ed Sanders 85fc18d38d eslint: Cleanup linting of /dist 
* Move eslintrc.es5.json to /dist to avoid extra Grunt config
* Upgrade clean-webpack-plugin and exclude dist/.eslintrc.js
  from cleaning
* Set root:true and just enable wikimedia/language/not-es5 instead
  of disabling dozens of rules
* Remove getOwnPropertySymbols rule as webpack uses this.

Change-Id: I802138a8a591dd4c3cb0cc637112e383570286df
2020-04-27 20:45:42 +01:00
..
.eslintrc.js eslint: Cleanup linting of /dist 2020-04-27 20:45:42 +01:00
index.js Don't record Popups actions on non-content pages 2019-11-14 16:52:05 +01:00
index.js.map.json Don't record Popups actions on non-content pages 2019-11-14 16:52:05 +01:00