Allow searching for users in the user list.

Squashed commit of the following:

commit 46595b7ae0bccfc8e5252daf8101e59ff53fdcdf
Author: Ramón Cahenzli <rca@psy-q.ch>
Date:   Thu Nov 16 19:12:11 2017 +0100

    Preserve search terms and sort order

commit 5445816f1dd7e7de876e226cf8479660a92c07ad
Author: Ramón Cahenzli <rca@psy-q.ch>
Date:   Thu Nov 16 18:53:43 2017 +0100

    First working user search.

commit 620b9787ef7998c4bf219d25075e35f4cfa3d1ee
Author: Ramón Cahenzli <rca@psy-q.ch>
Date:   Thu Nov 16 16:06:37 2017 +0100

    Moving user search to its own action

commit 0c17ac2428c2b38c9535f7a63f8be7582e4e332b
Author: Ramón Cahenzli <rca@psy-q.ch>
Date:   Thu Nov 16 14:58:34 2017 +0100

    WIP on user search, adding search form

1 files changed, 12 insertions, 0 deletions

diff --git a/app/Template/user_list/listing.php b/app/Template/user_list/listing.php
index 899a20e7..3bd38495 100644
--- a/app/Template/user_list/listing.php
+++ b/app/Template/user_list/listing.php
@@ -17,6 +17,18 @@
     <?php endif ?>
 </div>
 
+
+<div class="filter-box margin-bottom">
+    <form method="get" action="<?= $this->url->dir() ?>" class="search">
+        <?= $this->form->hidden('controller', array('controller' => 'UserListController')) ?>
+        <?= $this->form->hidden('action', array('action' => 'search')) ?>
+
+        <div class="input-addon">
+            <?= $this->form->text('search', $values, array(), array('placeholder="'.t('Search').'"'), 'input-addon-field') ?>
+        </div>
+    </form>
+</div>
+
 <?php if ($paginator->isEmpty()): ?>
     <p class="alert"><?= t('No users found.') ?></p>
 <?php elseif (! $paginator->isEmpty()): ?>