Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/CodeMirror

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
i18n	Localisation updates from https://translatewiki.net.	2018-06-27 22:18:28 +02:00
includes	Remove @staticvar doc annotation	2018-09-09 20:04:35 +02:00
resources	ve.ui.CodeMirror: Fix padding to match VisualEditor's padding	2018-09-27 22:06:00 +02:00
tests/phpunit	Restore GetPreferences hook handler registration	2018-07-03 14:25:01 -07:00
.eslintrc.json	build: Update linters	2018-09-12 00:03:19 +01:00
.gitignore	Update Jenkins tests	2016-03-03 13:29:48 +00:00
.gitreview	Whoops, track not trace	2016-10-24 17:02:17 -07:00
.phpcs.xml	Remove @staticvar doc annotation	2018-09-09 20:04:35 +02:00
.stylelintrc.json	Use json extension for .stylelintrc	2017-08-19 09:40:58 +02: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 mediawiki/phan-taint-check-plugin to 1.5.0	2018-09-07 08:12:20 +00:00
extension.json	Restore GetPreferences hook handler registration	2018-07-03 14:25:01 -07:00
Gruntfile.js	Use json extension for .stylelintrc	2017-08-19 09:40:58 +02:00
package.json	build: Update linters	2018-09-12 00:03:19 +01:00