mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-29 00:30:44 +00:00
bbdb48abdf
This fixes some rendering issues, and also increases the font size of reference contexts from 12.8px (interface) to 14px (content). Bug: T119430 Change-Id: Ib1bae8cd4cfe86903d78406a33db78e1489fde86 |
||
---|---|---|
.. | ||
ve.ui.MWAceEditorWidget.js | ||
ve.ui.MWCategoryInputWidget.js | ||
ve.ui.MWCategoryItemWidget.js | ||
ve.ui.MWCategoryPopupWidget.js | ||
ve.ui.MWCategoryWidget.js | ||
ve.ui.MWExternalLinkAnnotationWidget.js | ||
ve.ui.MWInternalLinkAnnotationWidget.js | ||
ve.ui.MWMediaInfoFieldWidget.js | ||
ve.ui.MWMediaResultWidget.js | ||
ve.ui.MWMediaSearchWidget.js | ||
ve.ui.MWMoreParametersResultWidget.js | ||
ve.ui.MWNoParametersResultWidget.js | ||
ve.ui.MWParameterResultWidget.js | ||
ve.ui.MWParameterSearchWidget.js | ||
ve.ui.MWReferenceGroupInputWidget.js | ||
ve.ui.MWReferenceResultWidget.js | ||
ve.ui.MWReferenceSearchWidget.js | ||
ve.ui.MWTargetWidget.js | ||
ve.ui.MWTemplateTitleInputWidget.js | ||
ve.ui.MWTocItemWidget.js | ||
ve.ui.MWTocWidget.js |