Updated config interface as well
This commit is contained in:
parent
1eecf323f4
commit
42b39f20d7
1 changed files with 1 additions and 1 deletions
|
@ -18,7 +18,7 @@ interface Config
|
|||
/**
|
||||
* Set a configuration option to a new value, regardless of what the value is at the moment.
|
||||
*/
|
||||
public function set_int(string $name, ?int $value): void;
|
||||
public function set_int(string $name, ?string $value): void;
|
||||
|
||||
/**
|
||||
* Set a configuration option to a new value, regardless of what the value is at the moment.
|
||||
|
|
Reference in a new issue