public function theme_query_time() { return array_sum(Utils::array_map_field(DB::get_profiles(), 'total_time')); }