文件管理器."; $string['notypechosen'] = "你必需选择一个类型。用浏览器的后退按钮退回并重试。"; $string['resourcetype'] = "阅读资料类型"; $string['resourcetype1'] = "参考书目"; $string['resourcetype2'] = "网页"; $string['resourcetype3'] = "上载的文件"; $string['resourcetype4'] = "纯文本"; $string['resourcetype5'] = "网页链接"; $string['resourcetype6'] = "HTML文本"; ?>