Obs.: já tentei substituir a palavra PARAM_URL por uma url e nada acontece.
[...]
// Slider image6 setting.
$name5 = 'theme_crisp/slidepic6';
$title5 = get_string('slidepic6', 'theme_crisp');
$description5 = get_string('slidepic6desc', 'theme_crisp');
$PARAM_URL = 'http://google.com.br';
$setting = new admin_setting_configtext($name5, $title5, $description5, '', PARAM_URL );
$setting->set_updatedcallback('theme_reset_all_caches');
$settings->add($setting);
[...]