wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-16 10:59:56 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ce
History
Thiemo Kreuz 8f045a7155 Remove/fix a few small pieces of unused code 
I found these thanks to PHPStorm.

Change-Id: Ieb30a95debb58d3a454ac3c6f0546e5dbbe77ed4
2021-05-21 11:43:45 +00:00
..
annotations doc: Bump copyright year for 2020 2020-01-08 09:13:24 -08:00
nodes Remove/fix a few small pieces of unused code 2021-05-21 11:43:45 +00:00
styles Show non-breaking spaces in the editor 2021-01-28 19:09:29 +00:00
ve.ce.MWResizableNode.js doc: Bump copyright year for 2020 2020-01-08 09:13:24 -08:00
ve.ce.MWWikitextSurface.js Make convert to wikitext on paste feature configurable (temporarily) 2021-05-03 21:16:54 +00:00