TechEmpower.FrameworkBenchmarks/php-micromvc/View/System/Exception.php

<style type="text/css">
.system_error {
	border:1px solid #990000;
	padding:10px 20px;
	margin:10px;
	font: 13px/1.4em verdana;
	background: #fff;
}
code.source {
	white-space: pre;
	background: #fff;
	padding: 1em;
	display: block;
	margin: 1em 0;
	border: 1px solid #bedbeb;
}
.system_error .box {
	margin: 1em 0;
	background: #ebf2fa;
	padding: 10px;
	border: 1px solid #bedbeb;
}
code.source em {background: #ffc;}
</style>

<div class="system_error">

	<b style="color: #990000"><?php echo get_class($exception); ?></b>
	<p><?php echo $exception->getMessage(); ?></p>


	<?php
	$x = FALSE;
	if($backtrace = $exception->getTrace())
	{
		foreach($backtrace as $id => $line)
		{
			if(!isset($line['file'],$line['line']))continue;

			$x = TRUE;

			print '<div class="box">';

			//Skip the first element
			if( $id !== 0 )
			{
				// If this is a class include the class name
				print '<b>Called by '. (isset($line['class']) ? $line['class']. $line['type'] : '');
				print $line['function']. '()</b>';
			}

			// Print file, line, and source
			print ' in '. $line['file']. ' ['. $line['line']. ']';
			print '<code class="source">'. \Micro\Error::source($line['file'], $line['line']). '</code>';

			if(isset($line['args']))
			{
				print '<b>Function Arguments</b>';
				print dump($line['args']);
			}

			print '</div>';
		}

	}

	if(!$x)
	{
		print '<p><b>'.$exception->getFile().'</b> ('.$exception->getLine().')</p>';
	}
	?>

</div>