| Index: masters/master.client.dynamorio/templates/layout.html
|
| diff --git a/masters/master.client.dynamorio/templates/layout.html b/masters/master.client.dynamorio/templates/layout.html
|
| index 7e4451c7c84f9707a2854868c67381c2053e7cd9..aa258eb7d1b24c9262a44eaeb4fa72b5bdaf4e04 100644
|
| --- a/masters/master.client.dynamorio/templates/layout.html
|
| +++ b/masters/master.client.dynamorio/templates/layout.html
|
| @@ -15,6 +15,9 @@
|
| <title>{{ pageTitle|e }}</title>
|
| <link rel="stylesheet" href="{{ stylesheet }}" type="text/css" />
|
| <link rel="alternate" type="application/rss+xml" title="RSS" href="{{ path_to_root }}rss">
|
| +
|
| + <link rel="stylesheet" href="{{ path_to_root }}milo.css" type="text/css" />
|
| + <script src="{{ path_to_root }}milo.js"></script>
|
| {% endblock %}
|
| </head>
|
| <body class="interface">
|
| @@ -32,6 +35,11 @@
|
| - <a href="{{ path_to_root }}json/help">JSON API</a>
|
| - <a href="{{ path_to_root }}about">About</a>
|
| </div>
|
| +
|
| + <!-- Inject Milo tag, when appropriate. -->
|
| + <script>
|
| + (function() { MiloInject("{{path_to_root}}", "{{mastername|default}}"); }());
|
| + </script>
|
| {% endblock %}
|
|
|
| {%- block barecontent -%}
|
|
|