From 3a41f324cc274766a6746b82394e8dc942d4fb66 Mon Sep 17 00:00:00 2001
From: tjhunt <tjhunt>
Date: Wed, 1 Aug 2007 16:54:39 +0000
Subject: [PATCH] Fix notices on the admin page.

---
 admin/settings/server.php | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/admin/settings/server.php b/admin/settings/server.php
index 4a93655109..8e10d59dfc 100644
--- a/admin/settings/server.php
+++ b/admin/settings/server.php
@@ -2,6 +2,8 @@
 
 // This file defines settingpages and externalpages under the "server" category
 
+global $USER;
+
 // "systempaths" settingpage
 $temp = new admin_settingpage('systempaths', get_string('systempaths','admin'));
 $temp->add(new admin_setting_configselect('gdversion', get_string('gdversion','admin'), get_string('configgdversion', 'admin'), check_gd_version(), array('0' => get_string('gdnot'),
-- 
2.39.5