Merge branch 'hendrik-search' into 'master'

Hendrik search

See merge request !177
This commit was merged in pull request #181.
This commit is contained in:
Lars van Hijfte
2017-02-02 12:47:05 +01:00
4 changed files with 74 additions and 9 deletions

View File

@@ -48,7 +48,12 @@ $group_n = ($group_currentpage - 1) * $group_perpage;
<label for="filter">
Filter:
</label>
<select name="filter" id="search-filter">
<select name="filter"
id="search-filter"
onchange="$('#user-pagenumber, #group-pagenumber').prop('value', 1);
searchUsers();
searchGroups();
pageNumber();">
<option value="personal"
<?php if ($filter == "personal") echo "selected";?>>
Persoonlijk</option>