michael/webmin
1
0
Fork 0
mirror of https://github.com/webmin/webmin.git synced 2026-06-01 18:50:26 +01:00
Code Issues Actions 3 Packages Projects Releases Wiki Activity

Merge branch 'master' of git@github.com:webmin/webmin

Browse Source
This commit is contained in:
Jamie Cameron
2017-01-31 15:45:08 -08:00
parent ca79327451 49c927ae80
commit 21fc5ebd2c
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
filemin/filemin-lib.pl
View File

@@ -179,7 +179,7 @@ sub print_interface {
print "</ol>";
# And toolbar
if($userconfig{'menu_style'}) {
if($userconfig{'menu_style'} || $current_theme eq 'authentic-theme') {
print_template("unauthenticated/templates/menu.html");
} else {
print_template("unauthenticated/templates/quicks.html");