PHP get_top_menu_options Examples

Example #1

File: perms_check.php Project: caseyi/BLIS

        $_SESSION['db_name'] = "";
    } else {
        $_SESSION['lab_config_id'] = $user->labConfigId;
        $lab_config = get_lab_config_by_id($user->labConfigId);
        $_SESSION['db_name'] = $lab_config->dbName;
    }
    # Set session variables for recording latency/user props
    $_SESSION['PROPS_RECORDED'] = false;
    $_SESSION['DELAY_RECORDED'] = false;
    #TODO: Add other session variables here
    $_SESSION['user_role'] = "garbage";
}
$page_access_map = array();
if (!isset($_SESSION['username']) && strpos($_SERVER['PHP_SELF'], 'login.php') === false && strpos($_SERVER['PHP_SELF'], 'password_reset.php') === false && strpos($_SERVER['PHP_SELF'], 'password_reset_confirm.php') === false) {
    #User not logged in
    header("Location:login.php?prompt");
} else {
    if (strpos($_SERVER['PHP_SELF'], 'login.php') === false && strpos($_SERVER['PHP_SELF'], 'password_reset.php') === false && strpos($_SERVER['PHP_SELF'], 'password_reset_confirm.php') === false) {
        # TODO:
        # This code is executed if the user is logged in
        # Check if user has access to $_SERVER['PHP_SELF']
        if (isset($_SESSION['user_level'])) {
        }
        # ...
        # Fetch appropriate top menu options in an array
        if (isset($_SESSION['user_level'])) {
            $user = get_user_by_name($_SESSION['username']);
            $top_menu_options = get_top_menu_options($_SESSION['user_level'], $user->rwoptions);
        }
    }
}

Example #2

File: perms_check.php Project: nchopra/C4G-BLIS

        $_SESSION['lab_config_id'] = -1;
        $_SESSION['db_name'] = "";
    } else {
        $_SESSION['lab_config_id'] = $user->labConfigId;
        $lab_config = get_lab_config_by_id($user->labConfigId);
        $_SESSION['db_name'] = $lab_config->dbName;
    }
    # Set session variables for recording latency/user props
    $_SESSION['PROPS_RECORDED'] = false;
    $_SESSION['DELAY_RECORDED'] = false;
    #TODO: Add other session variables here
    $_SESSION['user_role'] = "garbage";
}
$page_access_map = array();
if (!isset($_SESSION['username']) && strpos($_SERVER['PHP_SELF'], 'login.php') === false && strpos($_SERVER['PHP_SELF'], 'password_reset.php') === false && strpos($_SERVER['PHP_SELF'], 'password_reset_confirm.php') === false) {
    #User not logged in
    header("Location:login.php?prompt");
} else {
    if (strpos($_SERVER['PHP_SELF'], 'login.php') === false && strpos($_SERVER['PHP_SELF'], 'password_reset.php') === false && strpos($_SERVER['PHP_SELF'], 'password_reset_confirm.php') === false) {
        # TODO:
        # This code is executed if the user is logged in
        # Check if user has access to $_SERVER['PHP_SELF']
        if (isset($_SESSION['user_level'])) {
        }
        # ...
        # Fetch appropriate top menu options in an array
        if (isset($_SESSION['user_level'])) {
            $top_menu_options = get_top_menu_options($_SESSION['user_level']);
        }
    }
}