Aiuto:Accessori/markAdmins

L'accessorio markAdmins segnala in cronologia, negli osservati speciali, ecc., tutti gli utenti che appartengono ad alcuni gruppi riservati, come gli steward, gli amministratori, ecc.

Questo gadget è stato pensato per facilitare l'attivita di pattuglia delle ultime modifiche.

Anteprima

modifica

Segue un esempio di una normale firma prima e dopo l'abilitazione di questo gadget:

--Utente Esempio (msg) 23:54, 8 ott 2018 (CEST)[rispondi]
--Utente Esempio A (msg) 23:54, 8 ott 2018 (CEST)[rispondi]

Abbreviazioni

modifica

Per conoscere il significato delle abbreviazioni è sufficiente posizionare il puntatore del mouse sopra di esse.

Abilitazione

modifica

Per abilitare l'accessorio markAdmins, visita la schermata dei tuoi accessori:

Richieste e segnalazioni

modifica

Per qualsiasi segnalazione puoi usare la pagina di discussione:

Se desideri inviare una segnalazione tecnica puoi farlo su Wikimedia Phabricator:

Documentazione tecnica

modifica
Codice sorgente del gadget

Questo è il codice sorgente del gadget:

Il gadget si occupa di leggere una pagina che contiene l'elenco di tutte le utenze tecniche e i loro ruoli precisi (abbreviati). Questa è la pagina:

La pagina è in formato JSON perchè è un formato particolarmente comodo per essere letto da JavaScript ed è perfettamente supportato come tipo di contenuto da parte di MediaWiki.

L'utenza bot chiamata Utente:ItwikiBot si occupa (fra altre cose) di mantenere aggiornata quella pagina.

Esecuzione su Kubernetes

Il bot è automaticamente in esecuzione su Wikimedia Toolforge sotto il progetto toolforge:itwiki.

Per l'esecuzione si utilizza Kubernetes.

Per modificare la sua pianificazione, la sessione è simile a questa:

ssh my-username@login.toolforge.org
become itwiki
toolforge-jobs run itwiki-markadmins --command ./markadmins/bot.php --image tf-php74 --schedule "5 * * * *"

Qui un approfondimento su Kubernetes:

Codice sorgente del bot
Credenziali collegate al bot
Speciale:BotPasswords/ItwikiBot@mark_admins (per visualizzare le credenziali, entrare come Utente:ItwikiBot)
Considerazioni

Il gadget potrebbe anche essere riscritto per funzionare senza questa pagina in JSON, ma al momento comporterebbe molteplici richieste in background e non sarebbe il metodo piú prestante per gli utilizzatori finali.

Il bot è progettato per salvare la pagina ad ogni esecuzione, cosa che solitamente avviene una volta ogni ora. Ciò nonostante la pagina non viene realmente salvata ogni ora, perché MediaWiki è progettato per non salvare nessuna modifica se il testo non è cambiato.

Malfunzionamenti

modifica

Eventuali richieste o malfunzionamenti possono essere segnalati contattando i manovratori di Utente:ItwikiBot.

Pagine correlate

modifica

Collegamenti esterni

modifica