From c2ec01a3a8ca967bdadf49ca61677f15cfba8e57 Mon Sep 17 00:00:00 2001 From: Ryan Lerch Date: Sep 24 2018 13:52:19 +0000 Subject: put users search box back in the user listing page Fixes #3638 --- diff --git a/pagure/templates/user_list.html b/pagure/templates/user_list.html index 723aec4..1be1065 100644 --- a/pagure/templates/user_list.html +++ b/pagure/templates/user_list.html @@ -3,6 +3,8 @@ {% set tag = "users" %} {% from "_browseheader.html" import browse_header %} {% from "_projectstring.html" import projectstring, projecticon %} +{% from "_render_repo.html" import searchbox %} + {% block header %}

Users {{ users_length }} - {%- if g.authenticated and config.get('PAGURE_AUTH') == 'local' %} - - - - {% endif -%} +
+ {{searchbox(select="users")}} +

-
+
{% for user in users %}