From 14f74d141ab5580688bfd46d2f74c026e43ed967 Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Wed, 1 Apr 2015 06:11:44 +0200 Subject: Update to MediaWiki 1.24.2 --- skins/MonoBook/MonoBookTemplate.php | 3 +++ 1 file changed, 3 insertions(+) (limited to 'skins/MonoBook') 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' ) { -- cgit v1.2.2