wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 10:35:48 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ce
History
Ed Sanders 58054d49da Fix source copy when clipboardData not available 
Bug: T190881
Change-Id: I8569dec0c03caa30cb7fcbbbfeed126dc9db57e4
2018-03-29 13:58:00 +01:00
..
annotations doc: Bump copyright year 2018-01-03 17:45:07 +00:00
nodes Use OOUI 'markup' icon instead of local 'alienextension' 2018-03-20 17:27:54 +00:00
styles/nodes Follow-Up I84edeec38: Use font-size: 1em instead of unset for invisible templates 2018-03-22 13:29:49 +00:00
ve.ce.MWResizableNode.js doc: Bump copyright year 2018-01-03 17:45:07 +00:00
ve.ce.MWWikitextSurface.js Fix source copy when clipboardData not available 2018-03-29 13:58:00 +01:00