Source position: mysql.inc line 760
function modify_defaults_file(
file_location: Pchar;
option: Pchar;
option_value: Pchar;
section_name: Pchar;
remove_option: cint
):cint;