benchmarks: Add a default to the 'file' option of benchmarkTidy.php
[lhc/web/wiklou.git] / maintenance / benchmarks / tidy /
2018-08-13 Timo Tijhofbenchmarks: Add a default to the 'file' option of bench...