wikimedia/mediawiki-extensions-SyntaxHighlight_GeSHi
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/SyntaxHighlight_GeSHi synced 2024-12-18 01:00:57 +00:00
Code Issues Packages Projects Releases Wiki Activity
1356 commits 13 branches 25 tags 33 MiB
Commit graph

6 commits

Author SHA1 Message Date
Ed Sanders cd421a4b1d build: Update eslint-config-wikimedia to 0.28.0 
Change-Id: Ia565bd4d314b7b512a46c4bb2af74784d5c2edc1
 2024-06-06 16:33:02 +01:00
Novem Linguae e96144ff92 eslint: remove redundant ruleset wikimedia/jsdoc 
The ruleset wikimedia/client-es6 already contains
the ruleset wikimedia/jsdoc. So wikimedia/jsdoc
doesn't need to be declared.

Bug: T365047
Change-Id: I59c8f9a244ff727273783b4a3104929232801819
 2024-05-15 18:08:16 +00:00
James D. Forrester 5e92671865 eslint: Configure to lint against JSDoc, not old JSDuck 
Bug: T138401
Change-Id: I82ae6840c1a37ce9b71e946674eb078c98f84c4b
 2024-05-01 08:15:32 +01:00
Ed Sanders e69f76ffc8 Use ES6 syntax (arrow callbacks and let/const) 
Change-Id: I494f8ee3ab3d805aafbc1c95a5b19b34de598d2b
 2024-04-29 21:09:27 +01:00
Ed Sanders d6cc861de7 Allow line ranges to be selected using shift+click 
Change-Id: I224de2d2d72525b61608d7b6d0f13ce84a699ef7
 2024-03-06 22:30:51 +00:00
Ed Sanders 0345688a4f build: Update devDependencies 
Change-Id: Id4d2eaaa8a5faa567e7f978eb21921b9644c7500
 2022-03-20 15:05:03 +00:00