File Manager."; $string[notypechosen] = "You need to choose a type. Use your back button to go back and retry."; $string[readingtype] = "Type of resource"; $string[readingtype1] = "Reference"; $string[readingtype2] = "Web Page"; $string[readingtype3] = "Uploaded File"; $string[readingtype4] = "Plain text"; $string[readingtype5] = "Web Link"; ?>