wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-27 20:26:46 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/init/targets
History
jenkins-bot f071b0380d Merge "Vary the 'save' labels to 'publish' for public wikis"
2016-08-25 21:36:41 +00:00
..
ve.init.mw.DesktopArticleTarget.init.js init: Discard attempts to activate while we're already activating 2016-08-24 19:57:47 -05:00
ve.init.mw.DesktopArticleTarget.js Show a different label for buttons on create vs. modify 2016-08-24 16:01:11 -07:00
ve.init.mw.DesktopWikitextArticleTarget.js Fix insertion of templates, media, and various other things into wikitext surface 2016-08-17 21:12:00 -07:00
ve.init.mw.MobileArticleTarget.js Vary the 'save' labels to 'publish' for public wikis 2016-08-25 09:37:52 -07:00