مدير الملفات."; $string['notypechosen'] = "لابد من اختيار نوع. استخدم زر back للرجوع وإعادة المحاولة."; $string['resourcetype'] = "نوع المورد"; $string['resourcetype1'] = "المرجع"; $string['resourcetype2'] = "صفحة إنترنت"; $string['resourcetype3'] = "الملف الذي تم تحميله"; $string['resourcetype4'] = "نص عادي"; $string['resourcetype5'] = "وصلة إنترنت"; $string['resourcetype6'] = "نص HTML"; ?>