From f228744c34aeee8d590672d4f2d0a140945eb8e9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20P=C3=A9ters?= <fpeters@entrouvert.com>
Date: Mon, 22 Oct 2018 15:06:55 +0200
Subject: [PATCH] general: always link header to portal (#27500)

---
 templates/theme.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/templates/theme.html b/templates/theme.html
index 0844047a..4d9ae5ca 100644
--- a/templates/theme.html
+++ b/templates/theme.html
@@ -53,7 +53,7 @@
      {% block header-top %}{% endblock %}
      <div id="top">
        {% block header-title %}
-       <h1 id="logo"><a accesskey="1" href="{{ logo_link_url|default:'/' }}">{{ site_title }}</a></h1>
+       <h1 id="logo"><a accesskey="1" href="{% firstof logo_link_url portal_url '/' %}">{{ site_title }}</a></h1>
        {% endblock %}
        {% if include_top_links != False %}
         <div id="toplinks">
-- 
2.19.1