Discussion modèle:Catégorisation badges
De Wikipedia, l'encyclopédie encyclopedia
Le résumé de ce diff est erroné : il semble y avoir un cache de certaines données, et le gain en vitesse d'exécution est en fait négligeable. En revanche, la consommation mémoire est réduite et le code simplifié, j'ai donc laissé la modification. od†n ↗blah 22 juin 2016 à 08:24 (CEST)