time output in log

bootstrap.php

@@ -163,6 +163,7 @@ if (COCKPIT_ADMIN && !COCKPIT_API_REQUEST) {
 			      if (preg_match('/^\\+/', $l->out)) {
 				      $logstr .= '<h3>'.htmlspecialchars($l->out).'</h3>';
 			      } else {
+		          $logstr .= '<div class="timetext">'.$l->time.'s</div>';
 				      $logstr .= preg_replace(array_keys($colors), $colors, htmlspecialchars($l->out));
 			      }
 		      }