MantisBT: master 9d59867c

Author Committer Branch Timestamp Parent
cas atrol master 2018-08-09 10:19:46 master d0a073bd
Affected Issues  0012677: Please change a search option to manage users
Changeset

Add realname case-insensitive wildcard search on manage_user_page.php

Provide the option to exclude a pattern.
Searchterm "jan" would lead to wildcard "%jan%"
Searchterm "jan -dek" would lead to include "%jan%" and to exclude "%dek%"

Issue 0012677

mod - manage_user_page.php Diff File