libraryupgrader
0f4675a818
build: Updating mediawiki/mediawiki-phan-config to 0.11.1
...
Additional changes:
* eslint: Added `wikimedia/mediawiki` profile (T262222).
Change-Id: I1e6880bac17582337a473b926703d49965c18010
2021-11-14 01:50:37 +00:00
Ed Sanders
20a1fba017
build: Update eslint-config-wikimedia to 0.21.0
...
Change-Id: I5602e1be65b4c8c4a5f2218bf92c36a6a209d484
2021-11-12 23:06:59 +00:00
libraryupgrader
c3071c1278
build: Updating eslint-config-wikimedia to 0.19.0
...
Additional changes:
* eslint: Renamed `wikimedia/client` profile to `client-es5` (T277085).
Change-Id: If74189818aa5130279f90d6fccfc6f2653f16fad
2021-03-10 23:29:43 +00:00
Ed Sanders
3314ffcc06
build: Update linters
...
Change-Id: Ic5ffd9a998e08e09420513114d8f9a89723801f4
2019-10-31 21:47:42 +00:00
Ed Sanders
4adb126343
build: Update linters
...
Change-Id: I83682b6da9cb5d49c9b7153d8c6c31c0e8c2b6f6
2019-10-07 16:44:36 +01:00
Ed Sanders
7712f1bf22
build: Update eslint-config-wikimedia to 0.10.0
...
Change-Id: I58983b156eab7090c245ad6febfa47f1552c7188
2019-01-14 21:00:07 +00:00
Timo Tijhof
51c3173892
build: Add 'root' and '$' settings
...
Follows-up 6bdb0c68c
.
* Ensure consistent use of '$' over 'jQuery'
(already followed in the code, but not previously ensured.)
* Prevent future issues similar to those fixed by 6bdb0c68c
, by
disabling inheritence from any parent directories.
Change-Id: Ifa2cb20b224403ad4c6137e0f690fa4233dd942e
2018-11-04 20:29:22 +00:00
Bartosz Dziewoński
6bdb0c68c9
.eslintrc.json: Add "mw" to globals
...
It seems that this setting was being inherited from MediaWiki core
until recently, but now it's not.
Change-Id: Ibd38d7340d5281a6fd4e6d54eb9f7ef72e3df107
2018-11-02 08:38:36 +01:00
Ed Sanders
19bca1e31a
build: Introduce eslint & styleint and make a pass
...
Change-Id: I56c8c516ea8ac177ff4b46472ece1a3782c188d7
2017-01-23 15:14:01 +00:00