/* Il codice JavaScript inserito qui viene caricato dagli utenti che usano la versione del sito per dispositivi mobili */
Estratto da "https://it.wikipedia.org/wiki/MediaWiki:Mobile.js"
/* Il codice JavaScript inserito qui viene caricato dagli utenti che usano la versione del sito per dispositivi mobili */