foreach ($profiles as $profile): ?> = $profile->render(); ?> endforeach; ?>
= t("Profiler executed in ") . number_format($execution_time, 3) ?>s