Make user right selection in installer actually work, thanks Krinkle for spotting...
[mediawiki.git] / maintenance / benchmarks / 
tree7a23eac42257f888373de4f39d6671f0b37c61a8
drwxr-xr-x   ..
-rw-r--r-- 2462 Benchmarker.php
-rw-r--r-- 1622 bench_HTTP_HTTPS.php
-rw-r--r-- 1498 bench_delete_truncate.php
-rw-r--r-- 2229 bench_if_switch.php
-rw-r--r-- 1267 bench_strtr_str_replace.php
-rw-r--r-- 1717 bench_wfIsWindows.php
-rw-r--r-- 3206 benchmarkPurge.php