wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-27 15:40:00 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-CodeMi.../resources/modules/ve-cm
History
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
..
.eslintrc.json Remove obsolete aliases from closures 2018-11-12 13:19:41 +00:00
ve.ui.CodeMirror.less Add tool to VE toolbar automatically using 'utility' group 2023-06-29 14:40:43 +00:00
ve.ui.CodeMirrorAction.js Convert applicable ResourceLoader modules to use packageFiles 2023-08-24 11:55:13 -04:00
ve.ui.CodeMirrorTool.js Convert applicable ResourceLoader modules to use packageFiles 2023-08-24 11:55:13 -04:00