Manual:BenchmarkPurge.php/de-formal

Details
benchmarkPurge.php file is a maintenance script to benchmark CDN cache purges. Naturally it has no effect unless ( prior to 1.34) is set to   and servers have been defined in  ( prior to 1.34).