mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-29 00:30:44 +00:00
c451656d6d
Also cleanup redundant overrides, documentation and unused messages. Depends on If22a5197 in core. Change-Id: I533235f4eb5d703783a8fb45dff5e7be465f4ebb |
||
---|---|---|
.. | ||
ve.dm.MWExternalLinkAnnotation.js | ||
ve.dm.MWInternalLinkAnnotation.js | ||
ve.dm.MWNowikiAnnotation.js |