From afd7b38273e3325e3e29fe6e4b7155402b57082f Mon Sep 17 00:00:00 2001 From: scyrma Date: Mon, 5 May 2008 07:13:58 +0000 Subject: [PATCH] esthetic typo fix (merge from 1.9) --- admin/settings/server.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/admin/settings/server.php b/admin/settings/server.php index 67e0c5380a..ef8c48322d 100644 --- a/admin/settings/server.php +++ b/admin/settings/server.php @@ -145,7 +145,7 @@ $ADMIN->add('server', $temp); // "http" settingpage $temp = new admin_settingpage('http', get_string('http', 'admin')); $temp->add(new admin_setting_configtext('framename', get_string('framename', 'admin'), get_string('configframename', 'admin'), '_top', PARAM_ALPHAEXT)); -$temp->add(new admin_Setting_configcheckbox('slasharguments', get_string('slasharguments', 'admin'), get_string('configslasharguments', 'admin'), 1)); +$temp->add(new admin_setting_configcheckbox('slasharguments', get_string('slasharguments', 'admin'), get_string('configslasharguments', 'admin'), 1)); $temp->add(new admin_setting_heading('webproxy', get_string('webproxy', 'admin'), get_string('webproxyinfo', 'admin'))); $temp->add(new admin_setting_configtext('proxyhost', get_string('proxyhost', 'admin'), get_string('configproxyhost', 'admin'), '', PARAM_HOST)); $temp->add(new admin_setting_configtext('proxyport', get_string('proxyport', 'admin'), get_string('configproxyport', 'admin'), 0, PARAM_INT)); -- 2.39.5