}
echo '<PRE>' . htmlspecialchars(print_r(json_decode(file_get_contents($file)), true)) . '</PRE>';
+ if (!empty($ev->remarks)) {
+ echo "<HR><H2>Remarks:</H2>";
+ }
echo '<BR/><PRE>'. htmlspecialchars($ev->remarks) . '</PRE>';
$json = json_decode($ev->remarks, JSON_PRETTY_PRINT);