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/init/targets
History
jenkins-bot dbfe499d25 Merge "mw.ViewPageTarget.init: Setup "source" links even if VE is not available"
2013-08-02 21:02:40 +00:00
..
ve.init.mw.ViewPageTarget.init.js mw.ViewPageTarget.init: Setup "source" links even if VE is not available 2013-08-02 22:25:44 +02:00
ve.init.mw.ViewPageTarget.js Make the link to the user guide open in a new window 2013-08-02 12:53:09 -07:00