Fix notices on the admin page.

diff --git a/admin/settings/server.php b/admin/settings/server.php
index 4a93655109f16d9e27febce886629df75716eed1..8e10d59dfc100773aaa75d65c01863e7e09a8415 100644 (file)
--- 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'),