Contributi utente
29 dic 2018
12 dic 2018
Discussioni utente:93.34.136.158
Nuova pagina: {{Vandalismo|Latino/Congiuntivo presente}}--~~~~
Latino/Congiuntivo presente
Annullate le modifiche di 93.34.136.158 (discussione), riportata alla versione precedente di Hippias
m-123
22 nov 2018
MediaWiki:Vector.css
embed small images
+281
MediaWiki:Common.css
embed small images
+51
MediaWiki:Gadget-stru-whois.js
uso https se l'utente è in https
-5
MediaWiki:Gadget-Ricetta.js
fixes
+20
MediaWiki:Gadgets-definition
- gadget deprecato
-61
21 nov 2018
Discussioni utente:Wim b
Re: Script avanzamento
+529
MediaWiki:Gadgets-definition
common.css: targets=desktop,mobile
+23
MediaWiki:Mobile.css
tolgo un import che è compreso in un gadget
-124
MediaWiki:Common.css
link a CSS comuni desktop/mobile
-68
MediaWiki:Common.css/AllDevices.css
Pietrodn ha spostato la pagina MediaWiki:Common.css/AllDevices.css a MediaWiki:Gadget-common.css: Sposto i CSS comuni in un gadget, in questo modo evito il lento caricamento dinamico sfruttando ResourceLoader
MediaWiki:Gadget-common.css
Pietrodn ha spostato la pagina MediaWiki:Common.css/AllDevices.css a MediaWiki:Gadget-common.css: Sposto i CSS comuni in un gadget, in questo modo evito il lento caricamento dinamico sfruttando ResourceLoader
mMediaWiki:Gadgets-definition
Gadget per CSS comuni, non visibile nelle preferenze e caricato di default (evito di caricare dinamicamente un CSS)
+51
MediaWiki:Gadget-common
Nuova pagina: '''CSS comuni''': CSS in comune tra dispositivi desktop e mobili
MediaWiki:Gadget-common.css
rimuovo codice spostato in gadget
-67
MediaWiki:Gadgets-definition
aggiungo CSS su FasiAvanzamento
+20
MediaWiki:Gadget-FasiAvanzamento.css
css associato
MediaWiki:Gadgets-definition
fix deprecation warning
-8
MediaWiki:Gadget-toolbar.js
fix deprecation warning
-8
MediaWiki:Gadget-ReferenceTooltips.js
traduco
+74
MediaWiki:Gadget-ReferenceTooltips.js
Aggiorno da w:en:MediaWiki:Gadget-ReferenceTooltips.js per risolvere un warning di jQuery
-1 082
MediaWiki:Gadget-FasiAvanzamento.js
fix
+55
MediaWiki:Gadgets-definition
alcuni gadget devono essere abilitati anche su mobile
+69
MediaWiki:Common.js
rimuovo codice spostato in gadget
-1 204
MediaWiki:Gadget-common.css
rimuovo codice spostato in gadget
-525
MediaWiki:Gadgets-definition
nessun oggetto della modifica
+62
MediaWiki:Gadget-FasiAvanzamento.js
fix
mMediaWiki:Gadget-FasiAvanzamento.js
facciamo partire tutto in parallelo
+62
MediaWiki:Gadget-FasiAvanzamento.js
we don't need to wait until document.ready
-168
MediaWiki:Gadget-common.css
caricare l'ennesimo file a runtime allunga i tempi di caricamento delle pagine
+404
MediaWiki:Common.js
Importo qui il codice per gli slideshow, per evitare di appesantire il caricamento della pagina con uno script caricato a runtime (MediaWiki:Common.js/Slideshow.js). Fonte: en:MediaWiki:Common.js/Slideshows.js
+1 064
MediaWiki:Gadget-FasiAvanzamento.js
Annullata la modifica 353514 di Pietrodn (discussione)
+98
MediaWiki:Gadget-FasiAvanzamento.js
ancora problemi ES6...
-104
MediaWiki:Gadget-FasiAvanzamento.js
magari è colpa della lambda?
+35
MediaWiki:Gadget-FasiAvanzamento.js
nessun oggetto della modifica
+14
MediaWiki:Gadget-FasiAvanzamento.js
provo a debuggare
+90
MediaWiki:Gadget-FasiAvanzamento.js
provo a fixare
-2
MediaWiki:Gadget-FasiAvanzamento.js
per qualche motivo si rompe tutto
-98
MediaWiki:Gadget-FasiAvanzamento
grassetto
+6
MediaWiki:Gadget-FasiAvanzamento.js
sposto da Common.js il controllo su wgAction
+98
MediaWiki:Common.js
Ora FasiAvanzamento.js è un gadget
-198
Discussioni MediaWiki:FasiAvanzamento.js
Pietrodn ha spostato la pagina Discussioni MediaWiki:FasiAvanzamento.js a Discussioni MediaWiki:Gadget-FasiAvanzamento.js: FasiAvanzamento come gadget per un caricamento più veloce
Discussioni MediaWiki:Gadget-FasiAvanzamento.js
Pietrodn ha spostato la pagina Discussioni MediaWiki:FasiAvanzamento.js a Discussioni MediaWiki:Gadget-FasiAvanzamento.js: FasiAvanzamento come gadget per un caricamento più veloce
mMediaWiki:FasiAvanzamento.js
Pietrodn ha spostato la pagina MediaWiki:FasiAvanzamento.js a MediaWiki:Gadget-FasiAvanzamento.js: FasiAvanzamento come gadget per un caricamento più veloce
MediaWiki:Gadget-FasiAvanzamento.js
Pietrodn ha spostato la pagina MediaWiki:FasiAvanzamento.js a MediaWiki:Gadget-FasiAvanzamento.js: FasiAvanzamento come gadget per un caricamento più veloce
mMediaWiki:Gadget-section-avanzamenti
Nuova pagina: Fasi di avanzamento
MediaWiki:Gadgets-definition
+FasiAvanzamento come gadget (è più veloce a caricare)
+121
MediaWiki:Gadget-FasiAvanzamento
Nuova pagina: FasiAvanzamento: Mostra i simboli delle fasi di avanzamento di moduli e libri