in src/str/utf8/transform.php [28:32]
function lowercase(string $string)[rx_local]: string { /* HH_FIXME[2049] __PHPStdLib */ /* HH_FIXME[4107] __PHPStdLib */ return \mb_strtolower($string, Encoding::UTF8); }