mediawiki-extensions-CodeMi.../resources
samtar 5061cc1228
ext.CodeMirror.js: Keep at 100% parent width
Force the CodeMirror area to stay at 100% parent width during a
resize event.

Bug: T305939
Change-Id: I99f5d0b0955521f522a549b2cf1f2205cb0e48c0
2022-08-04 12:54:40 +01:00
..
addon Enable eslint for our custom code in the matchbrackets addon 2022-03-03 21:07:19 +00:00
lib Enable line numbering 2021-04-08 09:53:23 +02:00
mode/mediawiki Minor optimizations to some patterns in mediawiki mode 2022-08-04 10:36:52 +02:00
modules/ve-cm Remove $wgCodeMirrorColorblindColors feature flag 2022-06-13 13:20:24 +02:00
.eslintrc.json eslint: Lint Gruntile.js using server rules 2022-02-07 16:25:32 +00:00
ext.CodeMirror.js ext.CodeMirror.js: Keep at 100% parent width 2022-08-04 12:54:40 +01:00
ext.CodeMirror.less Support WikiEditor's realtime-preview feature 2022-03-24 12:02:03 +08:00