"index.php", "name" => get_lang('PlatformAdmin')); // setting the name of the tool $tool_name = get_lang('DokeosConfigSettings'); // Build the form if ($_GET['category'] and $_GET['category'] <> "Plugins" and $_GET['category'] <> "stylesheets") { $form = new FormValidator('settings', 'post', 'settings.php?category='.$_GET['category']); $renderer = & $form->defaultRenderer(); $renderer->setHeaderTemplate('
{header}
'."\n"); $renderer->setElementTemplate('
{label}
'."\n".'
{element}
'."\n"); $sqlsettings = "SELECT DISTINCT * FROM $table_settings_current WHERE category='".$_GET['category']."' GROUP BY variable ORDER BY id ASC"; $resultsettings = api_sql_query($sqlsettings, __FILE__, __LINE__); while ($row = mysql_fetch_array($resultsettings)) { $form->addElement('header', null, get_lang($row['title'])); switch ($row['type']) { case 'textfield' : $form->addElement('text', $row['variable'], get_lang($row['comment'])); $default_values[$row['variable']] = $row['selected_value']; break; case 'textarea' : $form->addElement('textarea', $row['variable'], get_lang($row['comment'])); $default_values[$row['variable']] = $row['selected_value']; break; case 'radio' : $values = get_settings_options($row['variable']); $group = array (); foreach ($values as $key => $value) { $group[] = $form->createElement('radio', $row['variable'], '', get_lang($value['display_text']), $value['value']); } $form->addGroup($group, $row['variable'], get_lang($row['comment']), '
', false); $default_values[$row['variable']] = $row['selected_value']; break; case 'checkbox'; $sql = "SELECT * FROM settings_current WHERE variable='".$row['variable']."'"; $result = api_sql_query($sql, __FILE__, __LINE__); $group = array (); while ($rowkeys = mysql_fetch_array($result)) { $element = & $form->createElement('checkbox', $rowkeys['subkey'], '', get_lang($rowkeys['subkeytext'])); if ($rowkeys['selected_value'] == 'true' && ! $form->isSubmitted()) { $element->setChecked(true); } $group[] = $element; } $form->addGroup($group, $row['variable'], get_lang($row['comment']), '
'."\n"); break; case "link" : $form->addElement('static', null, get_lang($row['comment']), get_lang('CurrentValue').' : '.$row['selected_value']); } } $form->addElement('submit', null, get_lang('Ok')); $form->setDefaults($default_values); if ($form->validate()) { $values = $form->exportValues(); // the first step is to set all the variables that have type=checkbox of the category // to false as the checkbox that is unchecked is not in the $_POST data and can // therefore not be set to false $sql = "UPDATE $table_settings_current SET selected_value='false' WHERE category='".mysql_real_escape_string($_GET['category'])."' AND type='checkbox'"; $result = api_sql_query($sql, __FILE__, __LINE__); // Save the settings foreach ($values as $key => $value) { if (!is_array($value)) { $sql = "UPDATE $table_settings_current SET selected_value='".mysql_real_escape_string($value)."' WHERE variable='$key'"; $result = api_sql_query($sql, __FILE__, __LINE__); } else { foreach ($value as $subkey => $subvalue) { $sql = "UPDATE $table_settings_current SET selected_value='true' WHERE variable='$key' AND subkey = '$subkey'"; $result = api_sql_query($sql, __FILE__, __LINE__); } } } header('Location: settings.php?action=stored&category='.$_GET['category']); exit; } } // including the header (banner) Display :: display_header($tool_name); //api_display_tool_title($tool_name); // displaying the message that the settings have been stored if ($_GET['action'] == "stored") { Display :: display_normal_message($SettingsStored); } // grabbing the categories $selectcategories = "SELECT DISTINCT category FROM ".$table_settings_current." WHERE category NOT IN ('stylesheets','Plugins')"; $resultcategories = api_sql_query($selectcategories, __FILE__, __LINE__); echo "\n
"; if (isset ($_GET['category'])) { switch ($_GET['category']) { // displaying the extensions: plugins case 'Plugins' : handle_plugins(); break; // displaying the extensions: Stylesheets case 'stylesheets' : handle_stylesheets(); break; default : $form->display(); } } /* ============================================================================== FOOTER ============================================================================== */ Display :: display_footer(); /** * The function that retrieves all the possible settings for a certain config setting * @author Patrick Cool , Ghent University */ function get_settings_options($var) { $table_settings_options = Database :: get_main_table(MAIN_SETTINGS_OPTIONS_TABLE); $sql = "SELECT * FROM $table_settings_options WHERE variable='$var'"; $result = api_sql_query($sql, __FILE__, __LINE__); while ($row = mysql_fetch_array($result)) { $temp_array = array ('value' => $row['value'], 'display_text' => $row['display_text']); $settings_options_array[] = $temp_array; } return $settings_options_array; } /** * This function allows easy activating and inactivating of plugins * @todo: a similar function needs to be written to activate or inactivate additional tools. * @author Patrick Cool , Ghent University */ function handle_plugins() { global $SettingsStored; $table_settings_current = Database :: get_main_table(MAIN_SETTINGS_CURRENT_TABLE); if ($_POST['SubmitPlugins']) { store_plugins(); Display :: display_normal_message($SettingsStored); } echo get_lang('AvailablePlugins')."

"; /* We scan the plugin directory. Each folder is a potential plugin. */ $pluginpath = api_get_path(SYS_PLUGIN_PATH); $handle = opendir($pluginpath); while (false !== ($file = readdir($handle))) { if (is_dir(api_get_path(SYS_PLUGIN_PATH).$file) AND $file <> '.' AND $file <> '..') { $possibleplugins[] = $file; } } closedir($handle); /* for each of the possible plugin dirs we check if a file plugin.php (that contains all the needed information about this plugin) can be found in the dir. this plugin.php file looks like $plugin_info['title']='The title of the plugin'; // $plugin_info['comment']="Some comment about the plugin"; $plugin_info['location']=array("loginpage_menu", "campushomepage_menu","banner"); // the possible locations where the plugins can be used $plugin_info['version']='0.1 alpha'; // The version number of the plugin $plugin_info['author']='Patrick Cool'; // The author of the plugin */ echo '
'; echo "\n"; echo "\t\n"; echo "\t\t\n"; echo "\t\t\n"; echo "\t\t\n"; echo "\t\t\n"; echo "\t\n"; /* We retrieve all the active plugins. */ $sql = "SELECT * FROM $table_settings_current WHERE category='Plugins'"; $result = api_sql_query($sql); while ($row = mysql_fetch_array($result)) { $usedplugins[$row['variable']][] = $row['selected_value']; } /* We display all the possible plugins and the checkboxes */ foreach ($possibleplugins as $testplugin) { $plugin_info_file = api_get_path(SYS_PLUGIN_PATH).$testplugin."/plugin.php"; if (file_exists($plugin_info_file)) { include ($plugin_info_file); echo "\t\n"; echo "\t\t\n"; echo "\t\t\n"; echo "\t\t\n"; echo "\t\t\n"; echo "\t\n"; } } echo '
\n"; echo get_lang('Plugin'); echo "\t\t\n"; echo get_lang('MainMenu'); echo "\t\t\n"; echo get_lang('MainMenuLogged'); echo "\t\t\n"; echo get_lang('Banner'); echo "\t\t
\n"; foreach ($plugin_info as $key => $value) { if ($key <> 'location') { if ($key == 'title') { $value = ''.$value.''; } echo get_lang($key).': '.$value.'
'; } } if (file_exists(api_get_path(SYS_PLUGIN_PATH).$testplugin.'/readme.txt')) { echo "readme.txt"; } echo "\t\t
\n"; if (in_array('loginpage_menu', $plugin_info['location'])) { if (in_array($testplugin, $usedplugins['loginpage_menu'])) { $checked = "checked"; } else { $checked = ''; } echo ''; } echo "\t\t\n"; if (in_array('campushomepage_menu', $plugin_info['location'])) { if (in_array($testplugin, $usedplugins['campushomepage_menu'])) { $checked = "checked"; } else { $checked = ''; } echo ''; } echo "\t\t\n"; if (in_array('banner', $plugin_info['location'])) { if (in_array($testplugin, $usedplugins['banner'])) { $checked = "checked"; } else { $checked = ''; } echo ''; } echo "\t\t
'; echo '
'; } /** * This function allows the platform admin to choose the default stylesheet * @author Patrick Cool , Ghent University */ function handle_stylesheets() { // Current style $currentstyle = api_get_setting('stylesheets'); // Preview of the stylesheet echo '
'; echo '
'; if ($handle = opendir(api_get_path(SYS_PATH).'main/css/')) { $counter=1; while (false !== ($style_dir = readdir($handle))) { if(substr($style_dir,0,1)=='.'){continue;} //skip dirs starting with a '.' $dirpath = api_get_path(SYS_PATH).'main/css/'.$style_dir; if (is_dir($dirpath)) { if ($style_dir != '.' && $style_dir != '..') { if ($currentstyle == $style_dir OR ($style_dir == 'default' AND !$currentstyle)) { $selected = 'checked="checked"'; } else { $selected = ''; } echo ""; echo ''.$style_dir.''; //echo ''; echo "
\n"; $counter++; } } } closedir($handle); } echo '
'; } /** * This function allows easy activating and inactivating of plugins * @todo: a similar function needs to be written to activate or inactivate additional tools. * @author Patrick Cool , Ghent University */ function store_plugins() { $table_settings_current = Database :: get_main_table(MAIN_SETTINGS_CURRENT_TABLE); // Step 1 : we remove all the plugins $sql = "DELETE FROM $table_settings_current WHERE category='Plugins'"; api_sql_query($sql, __LINE__, __FILE__); // step 2: looping through all the post values we only store these which end on loginpage_menu or campushomepage_menu or banner foreach ($_POST as $form_name => $formvalue) { $form_name_elements = explode("-", $form_name); if (in_array('loginpage_menu', $form_name_elements) OR in_array('campushomepage_menu', $form_name_elements) OR in_array('banner', $form_name_elements)) { $sql = "INSERT into $table_settings_current (variable,category,selected_value) VALUES ('".$form_name_elements['1']."','Plugins','".$form_name_elements['0']."')"; api_sql_query($sql, __LINE__, __FILE__); } } } /** * This function allows the platform admin to choose which should be the default stylesheet * @author Patrick Cool , Ghent University */ function store_stylesheets() { $table_settings_current = Database :: get_main_table(MAIN_SETTINGS_CURRENT_TABLE); // Delete the current stylesheet (if there is one). We are not sure there is one $sql = "DELETE FROM $table_settings_current WHERE category='stylesheets'"; api_sql_query($sql, __LINE__, __FILE__); // Insert the stylesheet if ($_POST['style'] <> 'default') { $sql = "INSERT into $table_settings_current (variable,category,selected_value) VALUES ('stylesheets','stylesheets','".$_POST['style']."')"; api_sql_query($sql, __LINE__, __FILE__); } return true; } ?>