File Manager を利用してください。"; $string['notypechosen'] = "タイプを選択してください。「戻る」ボタンを押して再度入力してください。"; $string['resourcetype'] = "リソースのタイプ"; $string['resourcetype1'] = "参考文献"; $string['resourcetype2'] = "ウェブページ"; $string['resourcetype3'] = "ファイル"; $string['resourcetype4'] = "プレインテキスト"; $string['resourcetype5'] = "リンク"; $string['resourcetype6'] = "HTMLテキスト"; $string['resourcetype7'] = "プログラム"; $string['resourcetype8'] = "Wikiテキスト"; ?>