|
|
| שורה 1: |
שורה 1: |
| var customShortcutsArr = new Array();
| |
| function checkShortcuts() {
| |
| text = document.getElementById('searchInput');
| |
| if (customShortcutsArr[text.value] != null)
| |
| text.value = customShortcutsArr[text.value];
| |
| return true;
| |
| }
| |
|
| |
|
| function initCustomShortcuts() {
| |
| var 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() {
| |
| if (a.readyState != 4) return;
| |
| var lines = a.responseText.split('\n');
| |
| var rx = new RegExp('\\*\\s?([^\\|]*)\\|([^$]*)');
| |
| for (var i = 0; i < lines.length; i++) {
| |
| var m = rx.exec(lines[i]);
| |
| if (m)
| |
| customShortcutsArr[ m[1] ] = m[2];
| |
| else
| |
| break;
| |
| }
| |
| }
| |
| a.send(null);
| |
| var form = document.getElementById('searchform');
| |
| if (!form) return;
| |
| form.onsubmit = function() { return checkShortcuts(); }
| |
| }
| |
|
| |
| addOnloadHook(initCustomShortcuts);
| |