wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-15 18:29:24 +00:00
Code Issues Packages Projects Releases Wiki Activity
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/CodeMirror
696 commits 277 branches 0 tags 46 MiB
JavaScript 96.5%
PHP 1.8%
Less 1.7%
Go to file
Inductiveload a57d7b7c1c Fire a hook when the CodeMirror editor is switched 
This allows gadgets to react to the changing editor (for example
to rebind event handlers on the new active editor) without having
to use something like an MutationObserver.

Bug: T284282
Change-Id: I83f0a3c29b01031ae370b7d1207457586f0d25d6
2021-06-16 02:29:55 +01:00
.phan Add phan 2019-04-09 20:35:56 +02:00
i18n Localisation updates from https://translatewiki.net. 2021-03-12 08:45:20 +01:00
includes Update color scheme to meet accessibility standards 2021-03-05 16:39:14 +01:00
resources Fire a hook when the CodeMirror editor is switched 2021-06-16 02:29:55 +01:00
tests Refine bracket matching styling 2021-03-08 09:26:07 +01:00
.eslintrc.json build: Updating eslint-config-wikimedia to 0.19.0 2021-03-13 07:17:44 +00:00
.gitignore Browser tests for CodeMirror (wikitext 2010 editor) 2021-01-08 11:01:13 +01:00
.gitreview Whoops, track not trace 2016-10-24 17:02:17 -07:00
.phpcs.xml build: Updating eslint-config-wikimedia to 0.18.2 2021-03-06 09:27:20 +00:00
.stylelintrc.json Update CodeMirror to 5.58.3 2020-12-07 20:20:49 +00:00
CODE_OF_CONDUCT.md build: Updating mediawiki/phan-taint-check-plugin to 1.3.0 2018-08-19 10:46:12 +00:00
composer.json build: Updating dependencies 2021-01-29 06:50:49 +00:00
COPYING CodeMirror: Add COPYING file and credit for CodeMirror authors 2020-03-02 21:34:06 +00:00
extension.json Update color scheme to meet accessibility standards 2021-03-05 16:39:14 +01:00
Gruntfile.js Rename our customized matchbrackets addon 2021-01-20 11:17:59 +01:00
package-lock.json build: Updating wdio-video-reporter to 3.1.1 2021-03-16 07:23:30 +00:00
package.json build: Updating wdio-video-reporter to 3.1.1 2021-03-16 07:23:30 +00:00