$resource
parameter of mkdir()
is nullable since PHP 7.3
#10802
Merged
$resource
parameter of mkdir()
is nullable since PHP 7.3
#10802