File Manager."; $string['notypechosen'] = "È necessario che tu scelga un tipo. Usa il pulsante indietro per ritornare alla pagina precedente e riprovare."; $string['readingtype'] = "Tipo di risorsa"; $string['readingtype1'] = "Riferimento"; $string['readingtype2'] = "Pagina web"; $string['readingtype3'] = "File presente sul server"; $string['readingtype4'] = "Puro testo"; $string['readingtype5'] = "Collegamento web"; $string['readingtype6'] = "Testo HTML"; ?>