wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 18:39:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/styles/widgets
History
WMDE-Fisch 8aee4e8e70 Use position-sticky() from mediawiki mixin 
This will also slightly improve the situation for older Safari
browser by adding a -webkit rule.

Change-Id: I16b065adddd8ffe21936db9794495a891792ce8c
2022-07-12 14:09:01 +02:00
..
images Revert "Compress PNGs with zopflipng" 2016-02-28 00:07:50 +00:00
ve.ui.MWAceEditorWidget.css doc: Bump copyright year for 2020 2020-01-08 09:13:24 -08:00
ve.ui.MWCategoryInputWidget.css doc: Bump copyright year for 2020 2020-01-08 09:13:24 -08:00
ve.ui.MWCategoryItemWidget.css doc: Bump copyright year for 2020 2020-01-08 09:13:24 -08:00
ve.ui.MWCategoryPopupWidget.css doc: Bump copyright year for 2020 2020-01-08 09:13:24 -08:00
ve.ui.MWCategoryWidget.css doc: Bump copyright year for 2020 2020-01-08 09:13:24 -08:00
ve.ui.MWEducationPopupWidget.css Rewrite EducationPopup so it isn't a mixin 2020-09-24 21:33:50 +01:00
ve.ui.MWMediaInfoFieldWidget.css Remove unused CSS vendor prefixes 2022-05-04 16:55:43 +01:00
ve.ui.MWTocWidget.css Keep TOC in correct place in document 2017-06-22 15:16:15 -07:00
ve.ui.MWTransclusionOutlineControlsWidget.less Simplify OutlineControls CSS a little more 2022-06-28 10:50:33 +02:00
ve.ui.MWTransclusionOutlineWidget.less Use position-sticky() from mediawiki mixin 2022-07-12 14:09:01 +02:00