[Tikiwiki-devel] Wiki: Structures menu option still appears for users without tiki_p_edit_structures

[Shao F. <sf...@sp...>]

Hello,

I observed the following for for both 1.8.4 and 1.9 RC2, and am not sure
whether I misunderstood how permissions are supposed to work, or I have
run into a bug.  Would the responsible (wiki/user authorization)
developer please confirm what the correct behavior is?  

1) Install with "BasicEnabled profile for easy use".
2) Create a user 'editor' and assign to Editors group.
3) Log in using 'editor' and observe that the wiki menu option
"Structures" is visible.
4) Now log in using admin account and remove the permission
'tiki_p_edit_structures' from the Editors group.
5) Log in using 'editor' and the wiki menu option "Structures" is still
visible.

Somehow tiki_p_edit_structures is still getting assigned to the user. 
Logout/login and restarting apache have no effect.

Thanks,

Shao.