מדיה ויקי:Gadget-InterwikiOrder.js: הבדלים בין גרסאות בדף

→ העריכה הקודמת העריכה הבאה ←

@@ שורה 1: / שורה 1: @@
+function checkSearchInput(a.responseText) {
+ text = document.getElementById('searchInput');
+}
+var customShortcutsArr;
+function initCustomShortcuts() {
+ a = sajax_init_object();
+ a.open('GET', wgServer + wgScriptPath + '/index.php?title=%D7%9E%D7%A9%D7%AA%D7%9E%D7%A9:' + encodeURIComponent(wgUserName) + '/%D7%94%D7%A7%D7%99%D7%A6%D7%95%D7%A8%D7%99%D7%9D_%D7%A9%D7%9C%D7%99&action=raw', true);
+ a.onreadystatechange = function() {
+  // alert("[" + a.status + ":" + a.statusText + "]\n" + a.responseText);
+  if (a.readyState != 4) return;
+  var rx = new RegExp('\*\s?([^\|]*)\|([^$]*)', 'g');
+  var m = rx.exec(a.responseText);
+  if (m) return;
+  /*
+while (m) {
+   for (var i = 0; i < m.length; i++)
+    customShortcutsArr[ m[1] ] = m[2];
+   m = rx.exec(a.responseText);
+  }
+*/
+  var form = document.getElementById('searchform');
+  if (!form) return;
+  form.onsubmit = function() { return checkSearchInput(); }
+ };
+ a.send(null);
+}
+addOnloadHook(initCustomNav);