wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-26 07:15:32 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/init/targets
History
jenkins-bot 67e4799d39 Merge "DesktopArticleTarget.init: Fix URI comparison if it contains a port number"
2018-07-03 23:16:33 +00:00
..
ve.init.mw.DesktopArticleTarget.init.js Merge "DesktopArticleTarget.init: Fix URI comparison if it contains a port number" 2018-07-03 23:16:33 +00:00
ve.init.mw.DesktopArticleTarget.js DesktopArticleTarget: consolidate edit tab behavior 2018-07-02 16:17:15 -05:00
ve.init.mw.MobileArticleTarget.js Fix toolbar group names 2018-07-03 14:23:21 +01:00