[dokuwiki] Searching for user lists in user manager

Hi,

It's a common scenario to get a list of user names (as a text or Excel file)
that shall receive a group or be deleted. The attached patch for the user
manager adds a toggle button for a textarea where user names (login names
und full names) can be pasted. Also, a "select all" checkbox is added.

This extension works quite well with my other patch, the group assignment.
We often get a list of users that should be put in a group.

As before, I'm open for comments and suggestions.

Greetings,

Gabriel

Other related posts: