if (!empty($_SESSION['userTheme'])) { $selected_theme = $_SESSION['userTheme']; } else { $selected_theme = $_SESSION['THEME']; } ?> if ($selectedTheme !== 'default') {?> } ?>