Bartosz Dziewoński 079d240a2c ve.ui.CodeMirror: Fix padding to match VisualEditor's padding ... VisualEditor's default padding for the source editing surface was changed in Icdc6f1e2a7544ebbd828f85ff370113a0e06983a (June 2018). Since then the alignment of editing surface and CodeMirror syntax highlighting surface was broken in skins that don't override the default padding (basically every skin except Vector and MonoBook). Unfortunately Vector and MonoBook happen to be the only skins we officially support and actually test, so the issue went unnoticed. Bug: T205154 Bug: T205658 Change-Id: Ic85a6c20b266f6b93ab8ec9c2d35acff679f31bc		2018-09-27 22:06:00 +02:00
..
images	Remove all BetaFeatures support	2018-06-13 16:42:40 -07:00
lib/codemirror	Remove unused mode files	2018-02-28 12:24:30 +00:00
mode/mediawiki	build: Update linters	2018-09-12 00:03:19 +01:00
modules/ve-cm	ve.ui.CodeMirror: Fix padding to match VisualEditor's padding	2018-09-27 22:06:00 +02:00
ext.CodeMirror.js	Make use of new WikiEditor 2010 toggle tool	2018-07-25 01:12:28 +02:00
ext.CodeMirror.less	Use upstream OOUI icons for WikiEditor toolbar	2018-03-23 13:43:30 +00:00