File Manager.'; $string['notypechosen'] = 'You need to choose a type. Use your back button to go back and retry.'; $string['resourcetype'] = 'Type of resource'; $string['resourcetype1'] = 'Reference'; $string['resourcetype2'] = 'Web Page'; $string['resourcetype3'] = 'Uploaded File'; $string['resourcetype4'] = 'Plain text'; $string['resourcetype5'] = 'Web Link'; $string['resourcetype6'] = 'HTML text'; $string['resourcetype7'] = 'Program'; $string['resourcetype8'] = 'Wiki text'; ?>