Impostazione amministratore per abilitare o disabilitare il mini-profiler?

Sono appena caduto vittima della mancanza di informazioni nell’interfaccia utente sul mini-profiler, cos’è, come si chiama, perché mi viene mostrato e come nasconderlo. Ho configurato siti ma non sono uno sviluppatore, quindi non ho mai bisogno di vederlo, ma mi ci sono solo abituato.

Come minimo, suggerisco di aggiornare la documentazione per spiegare il comportamento attuale:

Oltre a ciò, se possibile, vorrei vedere un testo di aiuto per coloro che sono confusi al riguardo e vogliono farlo sparire, ad esempio “Miniprofiler - premi ALT+P per attivare/disattivare la visualizzazione”.

Quello che segue sembra essere una buona guida passo passo per aggiungerlo per un utente sul tuo sito.

3 Mi Piace