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
15186 commits 161 branches 1 tag 190 MiB
Commit graph

1 commit

Author SHA1 Message Date
Bartosz Dziewoński f8522b7aac Update VE core submodule to master (4922429f7) 
New changes:
4922429f7 Merge all theme overrides into single files

Local changes:
* Update extension.json module definitions for 4922429f7
* Merge all VE-MW theme overrides into single files

Change-Id: Ie8bb4a78c3c50dd4e930f25f6f72bc2f395bd10c
 2018-03-28 09:17:12 -07:00
Renamed from modules/ve-mw/themes/wikimediaui/widgets.css (Browse further)