wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-04 18:58:37 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/styles
History
jenkins-bot d9eebe04ef Merge "Remove unused ve-ui-educationPopup-header CSS"
2024-03-18 20:31:46 +00:00
..
apex Remove obsolete "search for a parameter" page and widgets 2022-06-17 10:23:00 +02:00
contextitems Move verbose copyright message to AUTHORS.txt 2023-12-01 16:07:39 +00:00
dialogs Move verbose copyright message to AUTHORS.txt 2023-12-01 16:07:39 +00:00
elements styles: Update color in CSS from #d33 to #d73333 2024-02-29 15:16:24 -05:00
images Remove obsolete "search for a parameter" page and widgets 2022-06-17 10:23:00 +02:00
inspectors Move verbose copyright message to AUTHORS.txt 2023-12-01 16:07:39 +00:00
layouts build: Update stylelint-config-wikimedia 2023-08-21 16:06:40 +01:00
pages Move verbose copyright message to AUTHORS.txt 2023-12-01 16:07:39 +00:00
toolgroups Move verbose copyright message to AUTHORS.txt 2023-12-01 16:07:39 +00:00
tools Move verbose copyright message to AUTHORS.txt 2023-12-01 16:07:39 +00:00
widgets Merge "Remove unused ve-ui-educationPopup-header CSS" 2024-03-18 20:31:46 +00:00
wikimediaui Remove obsolete "search for a parameter" page and widgets 2022-06-17 10:23:00 +02:00
ve.ui.MWWikitextSurface.css Move verbose copyright message to AUTHORS.txt 2023-12-01 16:07:39 +00:00