A numeric string set as key of an array gets casted to an integer. Since
I458c0af3114754ddf3d721f6c374e249f482e4cf wfMessage does not except
integer as message key, therefore cast the heading name back to string.
Bug: T73639
Change-Id: I376fb49d03251a71372738c531a09f014540b958
This patch fixes the problem by removing the following
from jquery.ui.theme.css:
.ui-widget-content a { color: #362b36; }
.ui-widget-header a { color: #222222; }
Bug: T85857
Change-Id: I0fbca3aca8e0d40c794dd1e20d4d8c4fdfd79aa1
When status indicators were added, backwards compatibility was unnecessarily
broken. This makes things like looking at old non-rebased branches, or running
git bisect, unnecessarily annoying. This change adds an is_callable to restore
backwards compatibility and removes the version check that was added in response
to this break.
Change-Id: Ia05aa73a1b027e667c52f54b6d6fdf6f42bbbadf
Follows-up 3cb2ccd87863abb8a99ed7d970730ae9e4138fcc.
Various structural changes were made in jQuery UI 1.9, and the Vector
theme was not updated to accommodate for those changes.
There have also been lots of small improvements to the base theme (which
is substituted inside the Vector theme) that were made over the past few
releases that weren't backported (such as Ib099282484b for bug 67243).
And there were two new modules in jQuery UI 1.9 (menu and spinner) that
were lacking Vector theme stylesheets.
Source files generated with http://jqueryui.com/themeroller by
downloading the theme for v1.9.2 (except for jquery.ui.button.css). See
the permalink in jquery.ui.theme.css.
For jquery.ui.button.css, use latest master of jQuery UI 1.11.2-alpha:
* https://github.com/jquery/jquery-ui/blob/8825d93dc8/themes/base/button.css
This is from a newer version of jQuery UI but user MarkTraceur suggested
the file for jquery.ui.button had fixes that were not backported to 1.9
and does not cause problems with Wikimedia Commons.
Documented our patches in a PATCHES file.
Change-Id: I2a31e4a3d969a966935a50392deafd756e2b9fca
Based on the discussion on T56307, this change is controversial
and not necessarily wanted. In summary:
* Green star looks out of place with blue Vector (Edokter, Esanders, Trevor)
* Clashes with WikiLove heart icon (Edokter)
* Flat design doesn't fit with Vector's gradient style (Rillke)
* Green means constructive in MediaWiki UI, however clicking the
green star removes a page from your watchlist (Krinkle)
This reverts commit 56825d209e.
Change-Id: I46f75a0eb83f9643fc0b51befe02aad4a84efc4e
This rule doesn't seem to be necessary and interferes with width
measurements, causing the tabs to bounce back and forth at specific
screen sizes.
Bug: T74089
Change-Id: I6a05ccf6eea1a4af22d8df3dd4d507cf9ac1b5f3
Sometimes, someone tries to install git master version of Vector on
a stable version of MediaWiki, which can result in a PHP error, e.g.
because of the missing status indicators in MW 1.24.
Add a version check to Vector.php to check, if a minimum mediawiki version
(actual 1.25) is installed in order to use this version.
Change-Id: I10f071253e48e6492949ebbc3c07964c747e885f
mw-navigation is a collapsed div because all of its children
are absolutely positioned, and it's in a totally useless
place. Instead, point to #mw-head, which is where we pointed
to originally before it was changed to #mw-navigation.
This reverts 75858d59d from when this code was still in MediaWiki core.
Bug: T78207
Change-Id: I5e1f0edbf80f6f5f330df73cb06e4b0ee4323905
This avoids that elements in the content can overlap elements
outside the content area (e.g. software and skin interface components),
such as the page action menu.
Bug: T40848
Change-Id: Ia986434c51d8db738726f3a4e918bce373bd3d6b
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
