wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-11-23 15:16:50 +00:00
Code Issues Packages Projects Releases Wiki Activity

eslint: Enforce no-var

Browse source 
Change-Id: I9853fde20dcd316d43f28b906bc501ca6329d138
This commit is contained in:
Ed Sanders 2024-09-26 13:55:46 +01:00
parent d6b589f50b
commit 0fd18bb233
2 changed files with 4 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
resources/.eslintrc.json
View file

@ -1,7 +1,4 @@
{
"root": true,
"extends": "wikimedia/language/es6",
"rules": {
"no-var": "off"
}
"extends": "wikimedia/language/es6"
}

6
resources/ext.popups/index.js
View file

@ -1,7 +1,7 @@
var types = require( './types.json' );
const types = require( './types.json' );
// Load Popups when touch events are not available in the browser (e.g. not a mobile device).
var isTouchDevice = 'ontouchstart' in document.documentElement;
var supportNotQueries;
const isTouchDevice = 'ontouchstart' in document.documentElement;
let supportNotQueries;
try {
supportNotQueries = document.body.matches( 'div:not(.foo,.bar)' );
supportNotQueries = true;