2021-04-17 17:56:26 +00:00
|
|
|
{% extends 'snippets/filters_panel/filter_field.html' %}
|
|
|
|
{% load i18n %}
|
|
|
|
|
|
|
|
{% block filter %}
|
2021-06-01 21:28:53 +00:00
|
|
|
<label class="label" for="id_server">{% trans "Instance name" %}</label>
|
2022-01-06 19:11:00 +00:00
|
|
|
<div class="control">
|
|
|
|
<input type="text" class="input" name="server" value="{{ request.GET.server|default:'' }}" id="id_server" placeholder="example.server.com">
|
|
|
|
</div>
|
2021-04-17 17:56:26 +00:00
|
|
|
{% endblock %}
|