[[MG]Dimi]

PHP код:

File = INI_Open(path);
name = INI_String(File,"Nick");
reason = INI_String(File,"Reason");
aname = INI_String(File,"Banned_by");
date = INI_String(File,"Date");
time = INI_String(File,"Time");
format(msg,128,"Nick: %s | Banned by: %s | Reason: %s | Time: %s | Date: %s",name,aname,reason,time,date); 


And I get error: undefined symbol "INI_String" on all lines where INI_String is used. I need to get string values from those lines in File. File looks like:

Код:

[Ban Info]
Nick = [MG]Dimi
Banned_by = [MG]Dimi
Reason = Test
Date = 15:06:46
Time = 16.10.2011