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"; ?>