Translations:Manual:DumpMessages.php/4/en

The output is in PHP serialization format.