Use IS_WINDOWS

Author: cmb69

run-tests.php

@@ -2109,11 +2109,7 @@ function run_test($php, $file, $env)
 	if (array_key_exists('INI', $section_text)) {
 		$section_text['INI'] = str_replace('{PWD}', dirname($file), $section_text['INI']);
 		$section_text['INI'] = str_replace('{TMP}', sys_get_temp_dir(), $section_text['INI']);
-		if (PHP_OS_FAMILY === 'Windows') {
-			$replacement = '"' . PHP_BINARY . ' -r \"while ($in = fgets(STDIN)) echo $in;\" > $1"';
-		} else {
-			$replacement = 'tee $1 >/dev/null';
-		}
+		$replacement = IS_WINDOWS ? '"' . PHP_BINARY . ' -r \"while ($in = fgets(STDIN)) echo $in;\" > $1"' : 'tee $1 >/dev/null';
 		$section_text['INI'] = preg_replace('/{MAIL:(\S+)}/', $replacement, $section_text['INI']);
 		settings2array(preg_split("/[\n\r]+/", $section_text['INI']), $ini_settings);
 	}