mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-11-23 23:33:54 +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 |
||
---|---|---|
.. | ||
jquery.ui | ||
jquery.tipsy.less | ||
mediawiki.notification.less | ||
mediawiki.special.less | ||
mediawiki.special.preferences.less |