spip/dev
-
Par Matthieu Marcillaud, le 30 avril 2021 à 17h21min :
Les statistiques de dev (memory, requetes) moins gênantes, placées en bas à gauche (nicod, tcharles), et colororées dans le privé.
*Modifié*
dev_options.php
Détails : https://git.spip.net/spip/dev/commit/b61e863859a7feb71243fdad0dc490f094287575