Update JSON.php

the function json_decode got the 4th argument in php 5.4 so this is not php 5.3 compatible