wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-23 23:03:46 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-CodeEd.../modules
History
Ed Sanders 1528c7740f build: Update linters 
Change-Id: Idaed1bf627d8d92968b422ad428acd29a179d94a
2023-12-18 17:09:57 +00:00
..
ace Update Ace to 1.15.2 2023-02-21 13:53:16 -06:00
images Move images folder into modules folder 2021-03-12 20:09:55 +01:00
.eslintrc.json eslint: Lint Gruntile.js using server rules 2022-02-07 16:22:02 +00:00
ace.less build: Update linters 2023-12-18 17:09:57 +00:00
ext.codeEditor.js build: Update eslint-config-wikimedia to 0.11.0 2019-03-13 22:38:54 +00:00
jquery.codeEditor.js build: Update linters 2023-12-18 17:09:57 +00:00
jquery.codeEditor.less build: Update linters 2023-12-18 17:09:57 +00:00