Gerenciador de archivos."; $string['notypechosen'] = "Necesita elegir un texto. Regrese y trate nuevamente."; $string['resourcetype'] = "Tipo de material"; $string['resourcetype1'] = "Referencia"; $string['resourcetype2'] = "Página web (se verá dentro)"; $string['resourcetype3'] = "Archivo cargado"; $string['resourcetype4'] = "Texto plano"; $string['resourcetype5'] = "Página web (se verá fuera)"; $string['resourcetype6'] = "Texto HTML"; $string['resourcetype7'] = "Programa"; $string['resourcetype8'] = "Texto Wiki"; ?>