2017-10-20 02:00:49 +00:00
|
|
|
// Interface class for outputting stats into a file or something.
|
|
|
|
|
Interface ExtStatWriter;
|
|
|
|
|
|
2020-11-28 20:04:55 +00:00
|
|
|
function WriteValue(string Key, string Value);
|
|
|
|
|
function StartIntendent(string Section, optional string Key, optional string Value);
|
2017-10-20 02:00:49 +00:00
|
|
|
function EndIntendent();
|
|
|
|
|
function ResetFile();
|
