diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2015-04-01 06:11:44 +0200 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2015-04-01 06:11:44 +0200 |
| commit | 14f74d141ab5580688bfd46d2f74c026e43ed967 (patch) | |
| tree | 081b7cbfc4d246ecc42831978d080331267cf57c /skins/MonoBook | |
| parent | 4a953b6bfda28604979feb9cfbb58974d13b84bb (diff) | |
Update to MediaWiki 1.24.2
Diffstat (limited to 'skins/MonoBook')
| -rw-r--r-- | skins/MonoBook/MonoBookTemplate.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/skins/MonoBook/MonoBookTemplate.php b/skins/MonoBook/MonoBookTemplate.php index c432625f..8637b087 100644 --- a/skins/MonoBook/MonoBookTemplate.php +++ b/skins/MonoBook/MonoBookTemplate.php @@ -207,6 +207,9 @@ class MonoBookTemplate extends BaseTemplate { continue; } + // Numeric strings gets an integer when set as key, cast back - T73639 + $boxName = (string)$boxName; + if ( $boxName == 'SEARCH' ) { $this->searchBox(); } elseif ( $boxName == 'TOOLBOX' ) { |