Add jsondec.inc.php