in mbstring/mbstring.php [28:28]
function mb_convert_case(string $string, int $mode, ?string $encoding): string {}