mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-11-28 01:20:07 +00:00
5cd72b88b1
Applying fix from change Ib3e0fc57 to Vector's jQuery UI styling as it should have been fixed in both places. The on-wiki fix was removed prematurely, as the bug was only fixed for non-Vector skins. This fixes bad formatting of audio player on Wikipedia (see bug). Bug: 71601 Change-Id: I80bef309dca9ea551134341037f6d96ad0f5c7e7 |
||
---|---|---|
.. | ||
images | ||
jquery.ui.accordion.css | ||
jquery.ui.autocomplete.css | ||
jquery.ui.button.css | ||
jquery.ui.core.css | ||
jquery.ui.datepicker.css | ||
jquery.ui.dialog.css | ||
jquery.ui.progressbar.css | ||
jquery.ui.resizable.css | ||
jquery.ui.selectable.css | ||
jquery.ui.slider.css | ||
jquery.ui.tabs.css | ||
jquery.ui.theme.css |