In the current latest pre-release, it seems to have already been fixed, perhaps it was a side effect caused by something that was fixed by the latest adjustments.
Edit: Okay, it seems like it still hasn't been fixed. I took a screenshot - the first one shows the previous formatting, and the second screenshot shows the same code after being formatted five times.
Maybe this works with this code snippet to reproduce
function pageerror($Grund = false)
{
global $langlink, $admin_site;
?><div class="col">
<?php if (!$Grund) { ?>
<h1>
<?php echo translate_text('Fehler beim laden!'); ?>
</h1>
<?php } else { ?>
<h1>
<?php echo translate_text($Grund); ?>
</h1>
<?php } ?>
<script type="application/javascript">
window.setTimeout(function() {
window.location.href =
"index.php<?php echo (isset($langlink) and $langlink) ? '?'.$langlink : NULL;
echo (isset($admin_site) and $admin_site) ? ((isset($langlink) and $langlink) ? '&'.$admin_site : '?'.$admin_site) : NULL; ?>";
}, 5000);
</script>
</div>
<?php
}
