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