Manual:$wgBadRanges

From mediawiki.org
Language, regional and character encoding settings: $wgBadRanges
An array of arrays of IP addresses that each value in $wgBadUserAgents apply to.
Introduced in version:pre 1.1.0
Removed in version:1.2.0 (r2473)
Allowed values:Unspecified
Default value:false

Details

User agent/range blocking. Blocks all users using a particular user agent, possibly restricted to a set of IP ranges.

This setting holds an array of arrays of IP addresses that each value in $wgBadUserAgents apply to.

e.g. array( array( '1.2.3.0', '1.2.3.255' ) )

See also