wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-25 14:56:20 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw
History
Ed Sanders 557eb4fe84 MediaDialog: Remove useless empty object arg to media size widget 
Change-Id: Id85498616f80147cd856d4d12bf5a0e58ad66029
2015-12-07 14:12:56 +00:00
..
ce Provide a tool to insert a signature in namespaces that need it 2015-11-16 18:06:32 +01:00
dm Use wgNamespaceIds constants instead of hard-coded numbers 2015-12-04 19:57:56 +00:00
i18n Localisation updates from https://translatewiki.net. 2015-12-06 21:45:56 +01:00
init Merge "Re-fix in-page loading" 2015-11-23 17:00:13 +00:00
tests Localisation updates from https://translatewiki.net. 2015-12-03 23:17:58 +01:00
themes MWSaveDialog: Fix styling of border radii 2015-11-03 01:20:52 +00:00
ui MediaDialog: Remove useless empty object arg to media size widget 2015-12-07 14:12:56 +00:00