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'; ?>