Translations:Manual:ImportDump.php/43/en

If the file is compressed and that has a $1 or $2 file extension (but not $3 or $4), it is decompressed automatically.