wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-11 22:16:15 +00:00
Code Issues Packages Projects Releases Wiki Activity
21257 commits 14 branches 17 tags 200 MiB
Commit graph

2 commits

Author SHA1 Message Date
Ed Sanders 570766d96a ve.init.MWVESwitchPopupWidget: Add spacing after checkbox 
Change-Id: I40e1c9cf770f5c00d891c71a7d18b0a622264501
 2024-03-14 11:37:26 -07:00
Ed Sanders d5d2fd0541 Convert ve.init.MWVESwitchPopupWidget.css to LESS 
Change-Id: I4c394adc7a510b85b346366f53daf05b96811393
 2024-03-11 17:39:22 -07:00
Renamed from modules/ve-mw/preinit/styles/ve.init.MWVESwitchPopupWidget.css (Browse further)