JsonFileDumper.php Interfaces, Classes and Traits JsonFileDumper JsonFileDumper generates an json formatted string representation of a message catalogue.