Online PHP editor | refs for da9CJ

<?php $a = (array)json_decode('{"7":"value1","8":"value2","9":"value3","13":"value4"}'); $b = json_decode('{"7":"value1","8":"value2","9":"value3","13":"value4"}', true); $c = array('7' => 'value1', '8' => 'value2', '9' => 'value3','10' => 'value4'); var_dump($a, $b, $c); var_export($a); var_export($b); var_export($c); echo "\n"; var_dump(isset($a[7]), isset($a['7'])); var_dump(isset($b[7]), isset($b['7'])); var_dump(isset($c[7]), isset($c['7']));