<div class="row">
<div class="col-sm-6">
<table class="table table-bordered table-striped">
<thead>
<tr>
<th colspan="2">
Server Info <em>(queried in <?php
echo $timer;
?>
s)</em>
</th>
</tr>
</thead>
<tbody>
<?php
if (($info = $query->getInfo()) !== false) {
foreach ($info as $infoKey => $infoValue) {
?>
<tr>
<td>
<?php
echo htmlspecialchars($infoKey);
?>
</td>
<td>
<?php
if (is_array($infoValue)) {
echo "<pre>";
print_r($infoValue);
echo "</pre>";
} else {
