wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 02:23:58 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/commands
History
Bartosz Dziewoński 22a80e430e Use ve.targetLinksToNewWindow where possible 
Also, avoid parsing HTML manually in a few places.

Change-Id: I983a7e1917a3f0728173e9621c709d1c8c04f650
2018-12-12 23:19:11 +00:00
..
ve.ui.MWWikitextWarningCommand.js Use ve.targetLinksToNewWindow where possible 2018-12-12 23:19:11 +00:00