wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-15 10:19:27 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-CodeMi.../resources/modules
History
Ed Sanders 1dc74c66fe Avoid using bold with VE+CodeMirror 
We can't guarantee the preserve glyph width, e.g.
on Firefox with Chinese characters.

Bug: T184467
Change-Id: I6fc92fcd034bda3d9a94749935aae03c8373f7c5
2018-03-07 19:56:51 +00:00
..
ve-cm Avoid using bold with VE+CodeMirror 2018-03-07 19:56:51 +00:00
popup.less Change popup label colour to green 2017-09-12 08:29:49 +08:00