public static function stop_timer($start) { $time = microtime(); $time = explode(' ', $time); $time = $time[1] + $time[0]; $finish = $time; $total_time = round($finish - $start, 4); return $total_time . ' seconds.'; }