wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-12-02 17:56:15 +00:00
Code Issues Packages Projects Releases Wiki Activity
928 commits 11 branches 15 tags 48 MiB
Commit graph

3 commits

Author SHA1 Message Date
Ed Sanders 21c121b898 build: Update linters 
Change-Id: I49eb2de402a8c89065968cf927a2ca6a361ca684
 2023-09-13 14:02:43 +01:00
MusikAnimal 46b7208d13 Convert applicable ResourceLoader modules to use packageFiles 
Move WikiEditor-specific code to ext.CodeMirror.WikiEditor, leaivng only
CodeMirror-specific things in ext.CodeMirror, including the logUsage
method which was duplicated in the VE plugin and now refactored.

Add .env to .gitignore so that selenium tests can be ran more easily

This patch leaves the other non-mediawiki modes still using the
'scripts' system instead of 'packageFiles'. These are not used in
MediaWiki directly but by some extensions (i.e. PhpTags) and using
packageFiles will break that integration.

Bug: T272035
Change-Id: I3bafef196c1f713443d7b8e9cb7dc2891b379f5d
 2023-08-24 11:55:13 -04:00
Ed Sanders 0faac32661 eslint: Lint Gruntile.js using server rules 
Change-Id: Ib0e7d62343689bb993476cb1ad40f93fc89a7190
 2022-02-07 16:25:32 +00:00