Manual talk:$wgAddGroups

Obsolete instructions for 1.13?
The |manual page says:


 * Note that groups which may only grant some rights ... need to have set userrights privilege to false, otherwise they will still be able to add all groups (except in 1.11).

Is this still true in 1.13? It doesn't seem to be. When I set:

$wgGroupPermissions['kings']['edit'] = true; $wgGroupPermissions['servants']['edit'] = true; $wgGroupPermissions['citizens']['edit'] = true; $wgAddGroups['kings'] = array('servants', 'citizens');

and visit Special:UserRights as member of, I can only add users to the   and   groups, which is exactly what you want. I see no capability to add to "all groups" like the |manual note says. --Maiden taiwan 19:26, 18 May 2008 (UTC)
 * To be able to set all right, put .  i Alex  19:44, 18 May 2008 (UTC)
 * I understand that, but the docs say you must set userrights to false to avoid the problem of giving out all rights. This doesn't seem to be necessary anymore in 1.13.0, so I'm asking if the docs are outdated. Thanks. --Maiden taiwan 11:27, 19 May 2008 (UTC)
 * This is correct for 1.13, like it is also for 1.12.0.  i Alex  16:03, 19 May 2008 (UTC)