fixed issue 1443, automenu for wiki, thanks Alan

This commit is contained in:
Massimo
2013-04-12 10:46:58 -05:00
parent 7d53ec6d71
commit 446e641e64
3 changed files with 24 additions and 15 deletions
+1 -2
View File
@@ -137,5 +137,4 @@ def _():
)]
if DEVELOPMENT_MENU: _()
if "auth" in locals(): auth.wikimenu()