[web2py] Plugin wiki configuration

[Mirek Zvolský]

I use Plugin Wiki and I want hide its Pages menu.

In db.py I have:

plugins = PluginManager()
plugins.wiki.editor = False

however when I trace Plugin Wiki after its initialization (after _() call), 
there is
plugins.wiki.editor = False
but plugin_wiki_editor = True

and menu Pages will appear.
What I made bad?

Mirek