FreeLists / dokuwiki / [dokuwiki] A patch and some proposals for the user manager plugin

["Gabriel Birke" <Gabriel.Birke@xxxxxxxxx>]

Hello,

attached to this mail you find a patch that makes the filter fields of the
user manager case-insensitive when using plaintext files - it always
bothered me that searching for "user" doesn't find "User". Maybe this patch
can be incorporated into the current devel version. 

Speaking of the user manager, in our DokuWiki installation we have a
relatively complicated system of namespace-specific permissions and groups.
With the current user manager it's a bit work-intensive to change a group
assignment for more than one user (currently we have more than 200
registered users). I wrote a proposal for an extension of the user manager:

Below the current display of the user manager you see checkboxes - one for
each existing group - and a text field to enter a new group name. Also you
see two Buttons "Add groups to selected users" and "Remove groups from
selected users". The state of the checkboxes in the user listing can be
toogled with an additional checkobox in the title bar.

Now, I _could_ write this as an action plugin that adds content to the page
in case the user manager is displayed. But before I do that I would like to
ask the list if a patch to the usermanager plugin would be preferable -
maybe the functionality is generally useful in DokuWiki core. I would send
the patch in the course of the next three months (can't predict the finish
time more accurately, because my proposal has a low priority). 

Greetings,

Gabriel