While looking at the privileges for a specific database, I was missing the option to create a user for that specific database.
I therefore added the create user link on this page, and included an extra radiobutton to the create user page.
Here is the patch.
A Dutch translation for the added string is included.
The patch also includes an updated comment in db_search.php which reused
the patch against r12186
I tried to apply on current trunk (12190) or on rev. 12186 and all hunks fail.
Strange... I just cleaned up my trunk checkout and the patch still applies OK.
$ svn revert -R .
$ svn up
$ patch -p0 < ../phpmyadmin3_if5.patch
patching file lang/english-utf-8.inc.php
patching file lang/dutch-utf-8.inc.php
patching file server_privileges.php
patching file db_search.php
Ok it worked this time. Patch merged in 3.2, except that, in the "Offer to use..." section I had to use $checkprivs instead of $db for the dbname parameter ($db was empty in my case).