|
|
| (Не показані 5 проміжних версій ще одного користувача) |
| Рядок 1: |
Рядок 1: |
| /* Імпорт додаткових скриптів */
| |
| function importExternalScript(url) {
| |
| var s = document.createElement('script');
| |
| s.src = url;
| |
| s.type='text/javascript';
| |
| document.getElementsByTagName('head')[0].appendChild(s);
| |
| }
| |
| function importScript(page) {
| |
| importExternalScript(wgScriptPath + '/index.php?title='
| |
| + encodeURIComponent(page.replace(' ','_'))
| |
| + '&action=raw&ctype=text/javascript&dontcountme=s');
| |
| }
| |
| importScript("MediaWiki:Extraeditbuttons.js");
| |
| importScript("MediaWiki:Otherscripts.js");
| |
|
| |
|
| /*</pre>
| |
|
| |
| === 调整工具位置 ===
| |
| <pre>*/
| |
| function fixToolbar(){
| |
| var wpEditToolbar=document.getElementById("toolbar");
| |
| //移动下拉选单
| |
| var EditTools=document.getElementById("EditTools");
| |
| elementMoveto(EditTools , wpEditToolbar , 'after' );
| |
| if(EditTools)EditTools.style.display="block";
| |
| //移动符号表
| |
| var editspecialchars=document.getElementById("editpage-specialchars");
| |
| elementMoveto(editspecialchars , wpEditToolbar , 'after' );
| |
| }
| |
|
| |
| addLoadEvent(fixToolbar);
| |
|
| |
| /*</pre>
| |