<!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>