为什么json_decode不起作用？

Question

我正在尝试读取和json_decode一个有一些json_encoded元素的文件。我的php文件正在读取编码的元素，但没有将其解码为数组。有什么问题？

<?php 
$filename1 ="history.txt";
$filecontent=file_get_contents($filename1);
$history=Array();
$history=json_decode($fileContent,true);
$ar_size=sizeof($history);
echo $filecontent;
echo $ar_size;
?>

第一个echo给出file1的文件内容，但第二个echo给出0.我的history.txt包含：

  

[＆＃34; 1 2 3 4 5 6 7 8 9 10 11＆amp; 2.829476＆＃34;，＆＃34; 1 2 4 3 5 6 7 8 9 10 11   ＆amp; 2.782541＆＃34;]

Answer 1

这是一个错字。

$history=json_decode($fileContent,true);
$history=json_decode($filecontent,true);