TypeError：无法读取TypeScript在生成的JavaScript文件上未定义的属性“ push”

Question

运行应用程序时，我得到barcode='D189404954'。 我正在用TypeScript编写并编译为 ES5 。

TypeScript文件

<?php

$link = mysqli_connect("localhost", "root", "", "watermeter");

// Check connection
if($link === false){
    die("ERROR: Could not connect. " . mysqli_connect_error());
}

$query = "SELECT statuswm
FROM users
WHERE barcode='D189404954'";

$result = mysqli_query($link, $query);
$row = $result->fetch_array(MYSQLI_NUM);

// See Value for test
//var_dump($row[0]);

if ($row[0] == 1) { 
echo $row[0]; 
} else { 
echo "not in stock";

}

// Close connection
mysqli_close($link);

?>

由TypeScript生成的JavaScipt文件

TypeError: Cannot read property 'push' of undefined

TypeScript没有在JavaScript文件上定义Windows tupple数组，是因为它没有在TypeScript文件上初始化吗？有解决方法吗？

非常感谢。

Answer 1

尝试private windows!: [string,BrowserWindow][]=[]; （：P）