From 1ba842a765e6b570488ec0501b40dc4b9e5f394b Mon Sep 17 00:00:00 2001
From: umherirrender <umherirrender_de.wp@web.de>
Date: Sat, 10 Jan 2015 21:38:46 +0100
Subject: [PATCH] Allow numeric headers in Sidebar

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
---
 VectorTemplate.php | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/VectorTemplate.php b/VectorTemplate.php
index 4acfa8cf4..56e3937c7 100644
--- a/VectorTemplate.php
+++ b/VectorTemplate.php
@@ -282,6 +282,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;