more appropriate type for locale setting

diff --git a/admin/settings/userinterface.php b/admin/settings/userinterface.php
index 5c6cf6bb55c58e15a92b387b4f146fffd2d3e392..ba626673c68fe481ecd9825823779bc85e012a2a 100644 (file)
--- 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);