From 02b22073b8189bc971a759cd53f2b0f9559aab41 Mon Sep 17 00:00:00 2001 From: skodak Date: Wed, 30 Aug 2006 07:42:42 +0000 Subject: [PATCH] more appropriate type for locale setting --- admin/settings/userinterface.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/admin/settings/userinterface.php b/admin/settings/userinterface.php index 5c6cf6bb55..ba626673c6 100644 --- a/admin/settings/userinterface.php +++ b/admin/settings/userinterface.php @@ -100,7 +100,7 @@ $temp->add(new admin_setting_configselect('lang', get_string('lang', 'admin'), g $temp->add(new admin_setting_configcheckbox('langmenu', get_string('langmenu', 'admin'), get_string('configlangmenu', 'admin'), 1)); $temp->add(new admin_setting_configtext('langlist', get_string('langlist', 'admin'), get_string('configlanglist', 'admin'), '', PARAM_NOTAGS)); $temp->add(new admin_setting_configcheckbox('langcache', get_string('langcache', 'admin'), get_string('configlangcache', 'admin'), 1)); -$temp->add(new admin_setting_configtext('locale', get_string('localetext', 'admin'), get_string('configlocale', 'admin'), '', PARAM_ALPHAEXT)); +$temp->add(new admin_setting_configtext('locale', get_string('localetext', 'admin'), get_string('configlocale', 'admin'), '', PARAM_FILE)); $temp->add(new admin_setting_configselect('timezone', get_string('timezone','admin'), get_string('configtimezone', 'admin'), 99, get_list_of_timezones())); $temp->add(new admin_setting_configselect('country', get_string('country', 'admin'), get_string('configcountry', 'admin'), '', get_list_of_countries())); unset($options); -- 2.39.5