-<?PHP // $Id$
+<?php // $Id$
// config.php - allows admin to edit all configuration variables
require_once("../config.php");
-
if ($site = get_site()) { // If false then this is a new installation
require_login();
if (!isadmin()) {
if ($config = data_submitted($match)) {
- if (isset($USER)) { // Additional identity check
+ if (!empty($USER->id)) { // Additional identity check
if (!confirm_sesskey()) {
error(get_string('confirmsesskeybad', 'error'));
}
echo "<br />";
}
- $sesskey = isset($USER) ? $USER->sesskey : '';
+ $sesskey = !empty($USER->id) ? $USER->sesskey : '';
print_simple_box_start("center", "", "$THEME->cellheading");
include("config.html");
-<?PHP // $Id$
+<?php // $Id$
require_once("../config.php");
if ($form = data_submitted()) {
- if (isset($USER)) { // Additional identity check
+ if (!empty($USER->id)) { // Additional identity check
if (!confirm_sesskey()) {
error(get_string('confirmsesskeybad', 'error'));
}
$usehtmleditor = can_use_html_editor();
$defaultformat = FORMAT_HTML;
- $sesskey = isset($USER) ? $USER->sesskey : '';
+ $sesskey = !empty($USER->id) ? $USER->sesskey : '';
print_simple_box_start("center", "", "$THEME->cellheading");
include("site.html");