function center_pad()

in scripts/extract_redis_commands_argcounts.php [300:307]


function center_pad(string $name, int $len) {
    if (mb_strlen($name) >= $len) {
        return $name;
    }
    $name = str_repeat(' ', ($len - mb_strlen($name)) >> 1) . $name;
    $name .= str_repeat(' ', $len - mb_strlen($name));
    return $name;
}