phplinter\Lint\BaseLint::profile PHP Method

    protected function profile($flushmsg = false)
    {
        if (defined('PHPL_PROFILE_ON')) {
            $now = microtime(true);
            if ($flushmsg) {
                $time = $this->ptime - $now;
                echo "{$time} -> {$flushmsg}\n";
            } else {
                $this->ptime = $now;
            }
        }
    }