filename, json_encode($this, JSON_PRETTY_PRINT)); } }