{% extends "admin/base_site.html" %} {% load adminmedia admin_list djblets_extensions i18n staticfiles %} {% block title %}{% trans "Manage Extensions" %} {{block.super}}{% endblock %} {% block extrahead %} {% include "js/jquery.html" %} {% include "js/jquery-ui.html" %} {{block.super}} {% endblock %} {% block bodyclass %}{{block.super}} extensions-list-page{% endblock %} {% block content %} {% include "extensions/extension_dlgs.html" %}

{% trans "Manage Extensions" %}

{% if extensions %} {% else %}

{% trans "There are no extensions installed." %}

{% endif %}
{% endblock %}