mediawiki-extensions-Visual.../modules/ve-mw
James D. Forrester 3c9a361da0 MWMediaDialog: Add a margin back to the border checkbox
This was removed upstream in OOUI as unecessary in general, but clearly
this was the place for which the rule had been designed. :-)

Bug: T119547
Change-Id: I46a1df1141c337b436e66872f1a8cdae026816cd
2015-12-02 18:28:18 -08:00
..
ce Provide a tool to insert a signature in namespaces that need it 2015-11-16 18:06:32 +01:00
dm Provide a tool to insert a signature in namespaces that need it 2015-11-16 18:06:32 +01:00
i18n Localisation updates from https://translatewiki.net. 2015-12-02 22:01:03 +01:00
init Merge "Re-fix in-page loading" 2015-11-23 17:00:13 +00:00
tests MW Examples: Fix test message 2015-11-20 20:34:18 +00: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