Administrador de archivos."; $string['notypechosen'] = "Necesita elegir un tipo de recurso. Vuelva atrás e inténtelo de nuevo."; $string['resourcetype'] = "Tipo de recurso"; $string['resourcetype1'] = "Referencia"; $string['resourcetype2'] = "Página web"; $string['resourcetype3'] = "Archivo cargado"; $string['resourcetype4'] = "Texto plano"; $string['resourcetype5'] = "Enlace Web"; $string['resourcetype6'] = "Texto HTML"; ?>