A PHP extension providing a function `range2cidr` used to convert IP range to CIDR.