From 71bdac6f9d27f609dbc059f7627cf2a1ccb12f95 Mon Sep 17 00:00:00 2001 From: Anthony Birkett Date: Mon, 31 May 2021 19:52:26 +0100 Subject: [PATCH] Minor tidy up in the web view example. --- Examples/View.php | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/Examples/View.php b/Examples/View.php index db6f001..b2c8306 100644 --- a/Examples/View.php +++ b/Examples/View.php @@ -104,10 +104,8 @@ $timer = number_format(microtime(true) - $timer, 4, '.', ''); echo '
';
         print_r($infoValue);
         echo '
'; - } elseif (true === $infoValue) { - echo 'true'; - } elseif (false === $infoValue) { - echo 'false'; + } elseif (is_bool($infoValue)) { + echo $infoValue ? 'true' : 'false'; } elseif (is_int($infoValue)) { echo $infoValue; } else { @@ -128,7 +126,7 @@ $timer = number_format(microtime(true) - $timer, 4, '.', ''); - +
Player Players Frags Time