Translations:Manual:DumpTextPass.php/7/en

To load a compressed stub dump instead of stdin