Minor tidy up in the web view example.

pull/150/head
Anthony Birkett 4 years ago
parent 723ed0589c
commit 71bdac6f9d

@ -104,10 +104,8 @@ $timer = number_format(microtime(true) - $timer, 4, '.', '');
echo '<pre>'; echo '<pre>';
print_r($infoValue); print_r($infoValue);
echo '</pre>'; echo '</pre>';
} elseif (true === $infoValue) { } elseif (is_bool($infoValue)) {
echo 'true'; echo $infoValue ? 'true' : 'false';
} elseif (false === $infoValue) {
echo 'false';
} elseif (is_int($infoValue)) { } elseif (is_int($infoValue)) {
echo $infoValue; echo $infoValue;
} else { } else {
@ -128,7 +126,7 @@ $timer = number_format(microtime(true) - $timer, 4, '.', '');
<table class="table table-bordered table-striped"> <table class="table table-bordered table-striped">
<thead> <thead>
<tr> <tr>
<th>Player <span class="label label-info"><?php echo count($players); ?></span></th> <th>Players <span class="label label-info"><?php echo count($players); ?></span></th>
<th class="frags-column">Frags</th> <th class="frags-column">Frags</th>
<th class="frags-column">Time</th> <th class="frags-column">Time</th>
</tr> </tr>

Loading…
Cancel
Save