blob: 8bdddac86f2ce6e4f0930e89ada6b579212498d3 [file] [log] [blame]
<?php
$data = file_get_contents('data.txt');
for($i = 0; $i < 1000; $i++)
$v = json_decode($data);
?>