<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml">
<!--
quick demo of PHP's JSON extension (as an example of
JSON tools available in PHP)
by: Sharon Tuttle
last modified: 2016-04-20
-->
<head>
<title> PHP's JSON extension demo </title>
<meta charset="utf-8" />
<link href="http://users.humboldt.edu/smtuttle/styles/normalize.css"
type="text/css" rel="stylesheet" />
</head>
<body>
<h1> PHP's JSON extension demo </h1>
<?php
$myJSON = '{"sound": "moo", "volume": 13}';
$phpVersion = json_decode($myJSON);
$sound = $phpVersion->{'sound'};
$volume = $phpVersion->{'volume'};
?>
<p> Trying out PHP's JSON extension a little </p>
<ul>
<pre>
<li> $phpVersion->{'sound'} is: [<?= $sound ?>] </li>
<li> $phpVersion->{'volume'} is: [<?= $volume ?>] </li>
</pre>
</ul>
<?php
require_once("328footer-better.html");
?>
</body>
</html>