Vai al contenuto

Pubblica utilità

Penso vi farà piacere sapere che questo progetto, anche in fase iniziale, ha
già fruttato un risultato utile.
Avrete forse notato che nella pagina principale usiamo l’estensione
https://www.mediawiki.org/wiki/Extension:RecentPages per mostrare l’elenco
delle pagine aggiunte di recente.

Qualche giorno fa ho notato che l’estensione aveva smesso di funzionare con
un Fatal Error.
Dopo una breve ricerca, mi sono reso conto che l’estensione
tentava di usare una chiamata alla funzioni di MW deprecata da qualche
versione e rimossa appunto nell’ultimo aggiornamento.
Una volta identificato l’errore, ho potuto eliminarlo semplicemente
rimuovendo una riga di codice (evidentemente legacy e rimasta per qualche
ragione) e l’ho testato con successo nella copia di prova online di WikiTrek.

Fatta questa verifica, ho indagato su come segnalare il problema e la
soluzione: fortunatamente l’estensione è pubblicata tramite GitHub e quindi
il passo è stato breve per un fork, una modifica e un commithttps://github.com/Inclumedia/RecentPages/pull/4

In meno di un ora il proprietario del progetto ha accetto la mia modifica,
ha fatto un merge e io ho potuto eliminare il fork.
Quindi, grazie al lavoro su WikiTrek, già abbiamo dato un contributo alla
comunità

In conclusione due note:

  • ogni volta che c’è di mezzo Star Trek e un gruppo di Geek, succede
    qualcosa di utile
  • cito (senza permesso) da Luigi «Che figata GitHub!»
Pubblicato inUncategorized

Sii il primo a commentare

Lascia un commento

Il tuo indirizzo email non sarà pubblicato. I campi obbligatori sono contrassegnati *