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

Merge "eslint: Enforce no-var"

Browse source
This commit is contained in:
jenkins-bot 2024-10-15 19:13:04 +00:00 committed by Gerrit Code Review
parent 58cdc04ac0 0fd18bb233
commit a5c01f6813
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;