[development] admin/user filter patch for core

[Rowan Kerr]

On 19-Jul-06, at 7:57 PM, Chad Phillips -- Apartment Lines wrote:
> i've taken the time to revive jjeff's original patch for a user filter 
> at admin/user.  the patch allows you to filter by role, permission, or 
> status, and is a sorely needed piece of functionality for sites with 
> large user bases.

Definitely gets a +1 from me for the functionality. Our admins will 
love us for it at Standard Radio.. for that matter, it will save even 
our dev team a lot of time!

-Rowan