Use a faster 7z command line by default
authorFederico Leva <federicoleva@tiscali.it>
Fri, 23 Jan 2015 13:25:52 +0000 (14:25 +0100)
committerNemo bis <federicoleva@tiscali.it>
Fri, 30 Jan 2015 15:10:55 +0000 (15:10 +0000)
commite40b0455ca51132e21b753d2162b6059a578f725
tree15fd2e52b9d9ebdf354e9bb6e76f6fd26b2588e6
parent3f4156be514a08997d8c22ed00fea37f2374266c
Use a faster 7z command line by default

In tests with one typical XML dump, -mx=4 looked much better than -mx=5
in terms of CPU cost, with negligible losses in compression.
Merged downstream by Wikia: https://github.com/Wikia/app/pull/6118

It probably makes sense to explicitly adopt a default suitable for XML
dumps; but later this should be configurable in scripts etc. (T78669).

Change-Id: I07ab5f93ecd6d706460691db5181de89ef31cbea
includes/Export.php