<?php /** @var string $diff (already colorized HTML) @var bool $truncated */ ?>
<pre><?= $diff ?></pre>
<?php if ($truncated): ?>
<p class="desc">— diff truncated, too large to show in full —</p>
<?php endif; ?>