Fixes support for User filtering without JavaScript

Allows the admin to filter users by name or email
in Users menu without the need of having JavaScript
enabled.

Change-Id: Ice785016df7a95a1b418dcb32a07a7be65f8666c
Fixes: bug #1117506
Merge "Fixes support for User filtering without JavaScript"