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