使用这个:它应该可以工作

Use this: It should work

echo preg_replace('/: *([0-9]+.?[0-9e+-]*)/', ':"\1"', $jsonString);