diff options
author | Phil Davis <phil.davis@inf.org> | 2016-06-23 12:23:16 +0930 |
---|---|---|
committer | Chris Buechler <cmb@pfsense.org> | 2016-06-30 00:20:56 -0500 |
commit | 595b074d146b0e6930b9693239fe7e038e11044b (patch) | |
tree | d50dba9d68b5f7d592960e6ec4b26eba0a54ef9a /src/usr/local/www/head.inc | |
parent | a77ed90de38d98d951ce7a468aa3af0be2ef0c88 (diff) | |
download | pfsense-595b074d146b0e6930b9693239fe7e038e11044b.zip pfsense-595b074d146b0e6930b9693239fe7e038e11044b.tar.gz |
Feature #6388 custom GUI preference settings per user
Diffstat (limited to 'src/usr/local/www/head.inc')
-rw-r--r-- | src/usr/local/www/head.inc | 20 |
1 files changed, 12 insertions, 8 deletions
diff --git a/src/usr/local/www/head.inc b/src/usr/local/www/head.inc index 2f6e46b..ca0f7e4 100644 --- a/src/usr/local/www/head.inc +++ b/src/usr/local/www/head.inc @@ -60,7 +60,7 @@ header('Content-Type: text/html; charset=utf-8'); $pagetitle = gentitle($pgtitle); -if (isset($config['system']['webgui']['pagenamefirst'])) { +if ($user_settings['webgui']['pagenamefirst']) { $tabtitle = $pagetitle . " - " . htmlspecialchars($config['system']['hostname'] . "." . $config['system']['domain']); } else { $tabtitle = htmlspecialchars($config['system']['hostname'] . "." . $config['system']['domain']) . " - " . $pagetitle; @@ -68,9 +68,9 @@ if (isset($config['system']['webgui']['pagenamefirst'])) { $cssfile = "/css/pfSense.css"; -if (isset($config['system']['webgui']['webguicss'])) { - if (file_exists("/usr/local/www/css/" . $config['system']['webgui']['webguicss'])) { - $cssfile = "/css/" . $config['system']['webgui']['webguicss']; +if (isset($user_settings['webgui']['webguicss'])) { + if (file_exists("/usr/local/www/css/" . $user_settings['webgui']['webguicss'])) { + $cssfile = "/css/" . $user_settings['webgui']['webguicss']; } } @@ -255,6 +255,10 @@ if (!isAllowedPage("system_usermanager.php*")) { $system_menu[] = array(gettext("User Manager"), "/system_usermanager.php"); } +if ($user_settings['customsettings'] && isAllowedPage("system_user_settings.php*")) { + $system_menu[] = array(gettext("User Settings"), "/system_user_settings.php"); +} + $system_menu = msort(array_merge($system_menu, return_ext_menu("System")), 0); // Interfaces @@ -424,11 +428,11 @@ if (!$g['disablehelpmenu']) { $menuclass = "static"; -if (isset($config['system']['webgui']['webguifixedmenu'])) { +if ($user_settings['webgui']['webguifixedmenu'] == "fixed") { $menuclass = "fixed"; } -$numColumns = $config['system']['webgui']['dashboardcolumns']; +$numColumns = $user_settings['webgui']['dashboardcolumns']; if (($pagename === "index.php") && ($numColumns > 2)) { $columnsContainer = 'style="max-width: ' . 585*$numColumns . 'px;width: 100%"'; @@ -449,10 +453,10 @@ if (($pagename === "index.php") && ($numColumns > 2)) { <div class="collapse navbar-collapse" id="pf-navbar"> <ul class="nav navbar-nav"> <?php - if ($config['system']['webgui']['webguihostnamemenu'] == 'hostonly') { + if ($user_settings['webgui']['webguihostnamemenu'] == 'hostonly') { $help_menu_title = htmlspecialchars($config['system']['hostname']); } - elseif ($config['system']['webgui']['webguihostnamemenu'] == 'fqdn') { + elseif ($user_settings['webgui']['webguihostnamemenu'] == 'fqdn') { $help_menu_title = htmlspecialchars($config['system']['hostname'] . "." . $config['system']['domain']); } else { |