Online PHP editor | refs for 8SubP

@ 2014-09-28T14:49:56Z

<?php
	$User = array(
		'Name' => "Hans-Peterµµ",
		'Contacts' => array(1, 2, 3, 4, 5, 6, 7, 42),
		'Active' => 1
	);
	$J = json_encode($User);
	$JS = json_encode($User, JSON_UNESCAPED_UNICODE);
	echo $JS."<br/>\r\n".$J;
	//echo $JS."--".json_decode($JS)."__";