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 -%} |