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