Template hook to allow plugin authors to add extra things to the header

Thanks to Andrew Browning for requesting this and suggesting where to
put it!

diff --git a/mediagoblin/templates/mediagoblin/base.html b/mediagoblin/templates/mediagoblin/base.html
index 16a0d4f645ebac2f7d6e68dd2bc8725e7d51549e..ddc38b3e34d536ee6d4acd5a892a23fc5731a2e7 100644 (file)
--- a/mediagoblin/templates/mediagoblin/base.html
+++ b/mediagoblin/templates/mediagoblin/base.html
@@ -72,6 +72,7 @@
                 {% block mediagoblin_header_title %}{% endblock %}
               </div>
               <div class="header_right">
+                {% template_hook("header_extra") %}
                 {%- if request.user %}
                   {% if request.user and
                         request.user.has_privilege('active') and