4 <div class="meta">Generated by <a href="http://istanbul-js.org/" target="_blank">istanbul</a> at {{datetime}}</div>
7 <script src="{{prettify.js}}"></script>
9 window.onload = function () {
10 if (typeof prettyPrint === 'function') {
16 <script src="{{sorter.js}}"></script>