Projet

Général

Profil

0001-general-always-link-header-to-portal-27500.patch

Frédéric Péters, 22 octobre 2018 15:09

Télécharger (916 octets)

Voir les différences: 

Subject: [PATCH] general: always link header to portal (#27500)


 templates/theme.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
templates/theme.html
53 53 
     {% block header-top %}{% endblock %}
54 54 
     <div id="top">
55 55 
       {% block header-title %}
56 
       <h1 id="logo"><a accesskey="1" href="{{ logo_link_url|default:'/' }}">{{ site_title }}</a></h1>
56 
       <h1 id="logo"><a accesskey="1" href="{% firstof logo_link_url portal_url '/' %}">{{ site_title }}</a></h1>
57 57 
       {% endblock %}
58 58 
       {% if include_top_links != False %}
59 59 
        <div id="toplinks">
60 
-