'; foreach($presets as $id => $preset) { echo ''.$preset->name.''; } echo ''; } else { echo get_string('emptydstlist', 'admin'); } ?>