Editing: IniFileDumper.php