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
Ed Sanders 63184600d4 Use wgNamespaceIds constants instead of hard-coded numbers 
Change-Id: I71b80e59a5e24d63e68637a1ae8422974643bd3a
2015-12-04 19:57: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-03 23:17:58 +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 MWMediaDialog: Add a margin back to the border checkbox 2015-12-02 18:28:18 -08:00