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
History
jenkins-bot 56af2bb742 Merge "MWSaveDialog: Fix styling of border radii"
2015-11-03 01:28:30 +00:00
..
ce MWExtensionNode: Fix selector to find dimension-less images 2015-10-02 14:18:13 +01:00
dm MediaSearch: Order search results correctly 2015-10-29 12:51:22 +00:00
i18n Merge "Allow switching from wikitext to VE" 2015-11-02 23:18:33 +00:00
init Merge "Allow switching from wikitext to VE" 2015-11-02 23:18:33 +00:00
tests Merge "[BrowserTest] Select English when LANGUAGE_SCREENSHOT_CODE environment variable is not set" 2015-11-02 12:22:39 +00:00
themes MWSaveDialog: Fix styling of border radii 2015-11-03 01:20:52 +00:00
ui Merge "MWEducationPopupTool: Changes to the dot" 2015-11-03 01:24:35 +00:00