Allow the user to choose a compression level in MediaWiki's backup dump script

Wikimedia

MediaWiki's maintenance/exportDump.php script allows a user to dump all or part of a wiki's content, optionally compressing the content into a zipped archive.

Different users may desire different compression ratios for different purposes (in general, the greater the compression ratio, the longer it takes to decompress).

Your task is to add a parameter to dumpBackup.php to allow the user to select one of 7-Zip's compression levels. The parameter will be checked for validity and passed onto 7-Zip, superseding the change made here.

More details: https://phabricator.wikimedia.org/T78669

Task tags

mediawiki
php
command-line

Students who completed this task

unicornisaurous

Task type

Code