protected function endProfile($token)
{
if (isset($this->profileTokens[$token])) {
$time = microtime(true) - $this->profileTokens[$token];
unset($this->profileTokens[$token]);
} else {
$time = 0;
}
$this->log(" done (time: " . sprintf('%.3f', $time) . "s)\n");
}