File Manager."; $string['notypechosen'] = "È necessario che tu scelga un tipo. Usa il pulsante indietro per ritornare alla pagina precedente e riprovare."; $string['resourcetype'] = "Tipo di risorsa"; $string['resourcetype1'] = "Bibliografia"; $string['resourcetype2'] = "Pagina web"; $string['resourcetype3'] = "File presente su questo server "; $string['resourcetype4'] = "Testo semplice"; $string['resourcetype5'] = "Collegamento web"; $string['resourcetype6'] = "Testo HTML"; $string['resourcetype7'] = "Programma"; $string['resourcetype8'] = "Testo Wiki"; ?>