json_decode（）之后缺少分号？

Question

在PHP中，我正在加载一个用JSON编写的配置文件。见提取：

"test":{ 
    "regexp":"^var1=([A-Za-z0-9_]+)(;var2=([0-9]+))?(;var3=([0-9]+))?$" 
} 

请注意分号！

当我使用json_decode（）下面是作为字符串返回加载这个在PHP 5.3.3：

^var1=([A-Za-z0-9_]+)(var2=([0-9]+))?(var3=([0-9]+))?$ 

人知道发生了什么事我分号？他们有点重要！

Answer 1

使用PHP 5.3.21它工作得很好 这里是我的代码

<?php 
    $json = '{"test":{"regexp":"^var1=([A-Za-z0-9_]+)(;var2=([0-9]+))?(;var3=([0-9]+))?$"}}'; 
    $tested=json_decode($json, true); 
    echo $tested["test"]["regexp"]; 
?> 

和预期的一样我的输出

^var1=([A-Za-z0-9_]+)(;var2=([0-9]+))?(;var3=([0-9]+))?$