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/Vector/VectorTemplate.php | |
parent | 4a953b6bfda28604979feb9cfbb58974d13b84bb (diff) |
Update to MediaWiki 1.24.2
Diffstat (limited to 'skins/Vector/VectorTemplate.php')
-rw-r--r-- | skins/Vector/VectorTemplate.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/skins/Vector/VectorTemplate.php b/skins/Vector/VectorTemplate.php index 30ba32e5..6e4e2f1e 100644 --- a/skins/Vector/VectorTemplate.php +++ b/skins/Vector/VectorTemplate.php @@ -279,6 +279,9 @@ class VectorTemplate extends BaseTemplate { continue; } + // Numeric strings gets an integer when set as key, cast back - T73639 + $name = (string)$name; + switch ( $name ) { case 'SEARCH': break; |