StarCitizenTools/mediawiki-skins-Citizen
1
0
Fork 0
mirror of https://github.com/StarCitizenTools/mediawiki-skins-Citizen.git synced 2024-11-29 00:31:09 +00:00
Code Issues Packages Projects Releases Wiki Activity

Disabled ESlint for search suggestions since it is on ES6

Browse source
This commit is contained in:
alistair3149 2020-02-15 18:52:29 -05:00
parent 509acf94b4
commit a2a39b9e5e
No known key found for this signature in database
GPG key ID: 94D081060FD3DD9C
2 changed files with 2 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
resources/scripts/typeahead-init.js
View file

@ -2,8 +2,7 @@
* Based on https://gerrit.wikimedia.org/g/wikimedia/portals/+/refs/heads/master * Based on https://gerrit.wikimedia.org/g/wikimedia/portals/+/refs/heads/master
* See T219590 for more details * See T219590 for more details
*/ */
/* eslint-disable */
/* eslint-env node, es6 */
/* global WMTypeAhead, _, addEvent */ /* global WMTypeAhead, _, addEvent */
( function ( WMTypeAhead ) { ( function ( WMTypeAhead ) {

5
resources/scripts/wm-typeahead.js
View file

@ -2,14 +2,10 @@
* Based on https://gerrit.wikimedia.org/g/wikimedia/portals/+/refs/heads/master * Based on https://gerrit.wikimedia.org/g/wikimedia/portals/+/refs/heads/master
* See T219590 for more details * See T219590 for more details
*/ */
/* eslint-env node, es6 */
/** /**
* Below are additional dependency extracted from polyfills.js * Below are additional dependency extracted from polyfills.js
* TODO: Optimize and clear unneeded code * TODO: Optimize and clear unneeded code
*/ */
/** /**
* Detects reported or approximate device pixel ratio. * Detects reported or approximate device pixel ratio.
* * 1.0 means 1 CSS pixel is 1 hardware pixel * * 1.0 means 1 CSS pixel is 1 hardware pixel
@ -20,6 +16,7 @@
* *
* @return {number} Device pixel ratio * @return {number} Device pixel ratio
*/ */
/* eslint-disable */
function getDevicePixelRatio() { function getDevicePixelRatio() {
if ( window.devicePixelRatio !== undefined ) { if ( window.devicePixelRatio !== undefined ) {