This website requires JavaScript.
Explore
Help
Register
Sign In
wikimedia
/
mediawiki-extensions-ImageMap
Watch
1
Star
0
Fork
You've already forked mediawiki-extensions-ImageMap
0
mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/ImageMap
synced
2024-11-27 15:40:03 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
4b2967fea8
mediawiki-extensions-ImageMap
/
.eslintrc.json
9 lines
108 B
JSON
Raw
Normal View
History
Unescape
Escape
build: Install eslint Change-Id: I3d2aed1e6cd8935e151e0ae2175b1283b4a408b0
2019-05-06 23:18:42 +00:00
{
"root"
:
true
,
"extends"
:
[
build: Updating eslint-config-wikimedia to 0.19.0 Additional changes: * eslint: Renamed `wikimedia/client` profile to `client-es5` (T277085). Change-Id: I8f785e5d51582be2055cce84301c14ee7e4b2676
2021-03-13 19:10:49 +00:00
"wikimedia/client-es5"
,
build: Updating mediawiki/mediawiki-codesniffer to 33.0.0 Additional changes: * Added the `wikimedia/mediawiki` profile in .eslintrc.json (T262222). Change-Id: I2fc88c21dff35d3cc27be78ff7fdfe8d3127ca1f
2020-11-04 01:39:43 +00:00
"wikimedia/jquery"
,
"wikimedia/mediawiki"
build: Install eslint Change-Id: I3d2aed1e6cd8935e151e0ae2175b1283b4a408b0
2019-05-06 23:18:42 +00:00
]
}
Reference in a new issue
Copy permalink