PHP process_config_options Examples

Example #1

File: admin_system_config.php Project: perryrothjohnson/resourcespace

}
include_once '../../include/config_functions.php';
// Process autosaving requests
if (getval('ajax', '') === 'true' && getval('autosave', '') === 'true') {
    $response['success'] = true;
    $response['message'] = '';
    $autosave_option_name = getvalescaped('autosave_option_name', '');
    $autosave_option_value = getvalescaped('autosave_option_value', '');
    if (!set_config_option(null, $autosave_option_name, $autosave_option_value)) {
        $response['success'] = false;
    }
    echo json_encode($response);
    exit;
}
include '../../include/header.php';
process_config_options();
?>
<div class="BasicsBox">
    <h1><?php 
echo $lang['systemconfig'];
?>
</h1>
    <p><?php 
echo $lang['systemconfig_description'];
?>
</p>
    <div class="CollapsibleSections">
    <?php 
$enable_disable_options = array($lang['userpreference_disable_option'], $lang['userpreference_enable_option']);
$yes_no_options = array($lang['no'], $lang['yes']);
// System section

Example #2

File: authenticate.php Project: perryrothjohnson/resourcespace

    # Check group access and applicable for this user in the group
    if (!isset($py["userpreferencegroup"]) && $plugin['enabled_groups'] != '') {
        $s = explode(",", $plugin['enabled_groups']);
        if (isset($usergroup) && in_array($usergroup, $s)) {
            include_plugin_config($plugin['name'], $plugin['config'], $plugin['config_json']);
            register_plugin($plugin['name']);
            register_plugin_language($plugin['name']);
            $plugins[] = $plugin['name'];
        }
    } else {
        if (!isset($py["userpreferencegroup"]) && $plugin['enabled_groups'] == '') {
            $plugins[] = $plugin['name'];
        }
    }
}
foreach ($plugins as $plugin) {
    hook("afterregisterplugin", "", array($plugin));
}
// Load user config options
process_config_options($userref);
hook('handleuserref', '', array($userref));
if (($userpassword == "b58d18f375f68d13587ce8a520a87919" || $userpassword == "b975fc60c53ab4780623e0cd813095e328ddf8ff5a3d01d134f6df7391c42ff5") && $pagename != "user_change_password" && $pagename != "collections") {
    ?>
<script>
	top.location.href="<?php 
    echo $baseurl_short;
    ?>
pages/user/user_change_password.php";
</script>
<?php 
}