Translations:Manual:BenchmarkPurge.php/8/fr

Naturellement il n'a pas d'impact sauf si $1 ($3 avant la 1.34) vaut $5 et que les serveurs ont été définis dans $2 ($4 avant la 1.34).