MediaWiki/Estensione Collection: differenze tra le versioni

DopoPer ulteriori ricerchefortuna, però, per fortunacercando '''abbiamo trovatotroviamo lo script a quest'indirizzo:'''

e a quel punto, dopo aver modificato nuovamente il file '''Collection.php''', tutte le estensioni installate nei diversi wiki funzionavanohanno funzionato senza ulteriori regolarmenteproblemi.