Manual:$wgBadUserAgents

This feature was removed completely in version 1.2.0.

Language, regional and character encoding settings: $wgBadUserAgents
Array of user agents that should be automatically blocked.
Introduced in version:	Before 1.1.0
Removed in version:	1.2.0 (r2473)
Allowed values:	Unspecified
Default value:	`false`
Other settings: Alphabetical \| By function

Details

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

You can't block all user agents by leaving $wgBadUserAgents blank. That would block nothing.

This setting holds an array of user agents that should be automatically blocked.

e.g. array( 'OfflineExplorer/1.0' )