From: Nazar Mokrynskyi <nazar@mokrynskyi.com>
Date: Wed, 22 Jun 2016 19:01:34 +0000 (+0300)
Subject: Tiny tweak for `$header` initialization, it should always be an array
X-Git-Tag: php-7.2.0alpha1~1338^2
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=ddf1c0891b919dd1d2cbfba064cb77ce1391486d;p=php

Tiny tweak for `$header` initialization, it should always be an array
---

diff --git a/run-tests.php b/run-tests.php
index 1639db5b25..24e127eec4 100755
--- a/run-tests.php
+++ b/run-tests.php
@@ -1900,12 +1900,11 @@ COMMAND $cmd
 	$output = preg_replace("/\r\n/", "\n", trim($out));
 
 	/* when using CGI, strip the headers from the output */
-	$headers = "";
+	$headers = array();
 
 	if (isset($old_php) && preg_match("/^(.*?)\r?\n\r?\n(.*)/s", $out, $match)) {
 		$output = trim($match[2]);
 		$rh = preg_split("/[\n\r]+/", $match[1]);
-		$headers = array();
 
 		foreach ($rh as $line) {
 			if (strpos($line, ':') !== false) {