Mario Dorato (discussione | contributi) m (Annullate le modifiche di Mario Dorato (discussione), riportata alla versione precedente di Deadcoder) |
Nessun oggetto della modifica Etichetta: sourceedit |
||
| Riga 7: | Riga 7: | ||
importScriptPage('TumblrShare/code.js', 'dev'); |
importScriptPage('TumblrShare/code.js', 'dev'); |
||
importScriptPage('PlusOneButton/code.js', 'dev'); |
importScriptPage('PlusOneButton/code.js', 'dev'); |
||
| + | importScriptPage('Translator/Translator.js', 'dev'); |
||
AjaxRCRefreshText = 'Aggiornare'; |
AjaxRCRefreshText = 'Aggiornare'; |
||
AjaxRCRefreshHoverText = 'Aggiornare la pagina automaticamente'; |
AjaxRCRefreshHoverText = 'Aggiornare la pagina automaticamente'; |
||
Versione delle 18:27, 15 feb 2015
/* Il codice JavaScript inserito qui viene caricato da ciascuna pagina, per tutti gli utenti. */
importScriptPage('Translator/Translator.js', 'dev');
importScriptPage('PowerPageMaker/code.js', 'dev');
importScriptPage('ShareMenu/code.js', 'dev');
importScriptPage('LinkedinSupport/code.js', 'dev');
importScriptPage('Printer/code.js', 'dev');
importScriptPage('TumblrShare/code.js', 'dev');
importScriptPage('PlusOneButton/code.js', 'dev');
importScriptPage('Translator/Translator.js', 'dev');
AjaxRCRefreshText = 'Aggiornare';
AjaxRCRefreshHoverText = 'Aggiornare la pagina automaticamente';
ajaxPages = ["Speciale:UltimeModifiche","Speciale:WikiActivity"];
importScriptPage('AjaxRC/code.js', 'dev');
importScript('MediaWiki:Common.js/DisplayTimer.js');