wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-03 02:16:51 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules
History
Ed Sanders dd862a837d MobileArticleTarget: Move MWBackTool to a separate file 
Change-Id: I1561f454bcc779f97c758ba7178b09d15f52fe42
2020-07-31 16:15:10 +00:00
..
ve-mw MobileArticleTarget: Move MWBackTool to a separate file 2020-07-31 16:15:10 +00:00
ve-mw-collab ExportWikitextDialog: Make height of wikitext input fit dialog 2020-07-31 16:27:27 +01:00