mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups
synced 2024-12-22 03:52:52 +00:00
3573232c21
* eslint-config-wikimedia: 0.22.1 → 0.24.0 * @wikimedia/mw-node-qunit: 6.3.3 → 7.0.0 Change-Id: I348eb70bfc6c1d6c922c8290152926183712dee1
7 lines
115 B
JSON
7 lines
115 B
JSON
{
|
|
"rules": {
|
|
"es/no-object-getownpropertysymbols": "off",
|
|
"es-x/no-object-getownpropertysymbols": "warn"
|
|
}
|
|
}
|