Datei-Manager.'; $string['notypechosen'] = 'Sie müssen einen Typ auswählen. Verwenden Sie den Zurück-Knopf und probieren Sie es erneut'; $string['resourcetype'] = 'Typ der Quelle'; $string['resourcetype1'] = 'Referenz'; $string['resourcetype2'] = 'Internet-Seite'; $string['resourcetype3'] = 'Hochgeladene Datei'; $string['resourcetype4'] = 'Reiner Text'; $string['resourcetype5'] = 'Internet-Verknüpfung'; $string['resourcetype6'] = 'HTML-Text'; $string['resourcetype7'] = 'Programm'; $string['resourcetype8'] = 'Wiki-Text'; ?>