Translations:Manual:BenchmarkPurge.php/8/en

Naturally it has no effect unless $1 ($3 prior to 1.34) is set to $5 and servers have been defined in $2 ($4 prior to 1.34).