Jeu du mois : février 2019

{% if current_user.is_authenticated and current_user.priv('misc.dev-infos') %} {% set reqtime = g.request_time() %} {% if reqtime > V5Config.SLOW_REQUEST_THRESHOLD %}

Génération
{{ "%.3f" % reqtime }} s

{% endif %} {% endif %}