Impostazioni generali Gestore estensioni Mostra tutti i record nella visualizzazione di modifica Gestore diritti Gestore ruoli Estensioni Info estensione Modifica configurazione Midifica permessi Modifica record Rimuove estensioni Installa estensioni Scarica archivio estensione Aggiorna estensioni Ruoli Ruolo modifica Ruolo eliminazione