sorbaugh ab81cd1e1e Add new user filter to search. ...

Add regex to prevent filter collision in user-list page

Usage:
1. Type a string in the search bar
2. Add in:users to display only users in the search result

2023-10-12 08:56:48 +02:00

..

Application.php

Add new user filter to search.

2023-10-12 08:56:48 +02:00