<?xml version="1.0" encoding="UTF-8"?>
|
<html xmlns="http://www.w3.org/1999/xhtml" >
|
|
<!-- contribute google-code-prettify resources to the page header -->
|
<wicket:head>
|
<wicket:link>
|
<link href="prettify/prettify.css" type="text/css" rel="stylesheet" />
|
<script type="text/javascript" src="prettify/prettify.js"></script>
|
</wicket:link>
|
</wicket:head>
|
|
<wicket:extend>
|
<!-- need to specify body.onload -->
|
<body onload="prettyPrint()">
|
|
<!-- page nav links -->
|
<div wicket:id="pageLinks">[page links]</div>
|
|
<!-- blob nav links -->
|
<div class="page_nav2">
|
<span wicket:id="historyLink">[history link]</span> | <span wicket:id="rawLink">[raw link]</span> | <span wicket:id="headLink">[head link]</span>
|
</div>
|
|
<!-- shortlog header -->
|
<div class="header" wicket:id="shortlog">[shortlog header]</div>
|
|
<!-- breadcrumbs -->
|
<div wicket:id="breadcrumbs">[breadcrumbs]</div>
|
|
<!-- blob content -->
|
<pre wicket:id="blobText">[blob content]</pre>
|
|
</body>
|
</wicket:extend>
|
</html>
|
