مدیاویکی:Gadget-wikEd.js: تفاوت بین نسخه‌ها

//  _________________________________________________________________________________________
// |                                                                                         |
// |                    === WARNING: GLOBAL GADGET FILE ===                                  |
// |                  Changes to this page affect many users.                                |
// | Please discuss changes on the talk page or on [[Wikipedia_talk:Gadget]] before editing. |
// |_________________________________________________________________________________________|
//
// Imports [[مدیاویکی:wikEd.js]]
// wikEd is a full-featured in-browser editor for Wikipedia, see [[مدیاویکی:wikEd]]


if ( navigator.appName !== 'Microsoft Internet Explorer' ) {
  // load [[مدیاویکی:wikEd]] in-browser text editor
  importScript('مدیاویکی:wikEd.js');
}