wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 18:39:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/init/targets
History
jenkins-bot 85736d5a7b Merge "Follow-up eb8ba26a: Make MWNoticesTool#setNotices() display its own popup"
2017-03-16 20:14:05 +00:00
..
ve.init.mw.DesktopArticleTarget.init.js Don't load VE or NWE on lint-targetted pages (until that works) 2017-03-15 14:23:17 -07:00
ve.init.mw.DesktopArticleTarget.js Merge "Follow-up eb8ba26a: Make MWNoticesTool#setNotices() display its own popup" 2017-03-16 20:14:05 +00:00
ve.init.mw.MobileArticleTarget.js Use pencil icon for editor switcher dropdown 2017-02-28 22:59:51 +00:00