Manual:$wgFileRedirects

Files and file uploads: $wgFileRedirects
If enabled, MediaWiki checks redirects in File: namespace.
Introduced in version:1.12.0 (r29870)
Removed in version:1.13.0
Allowed values:(boolean)
Default value:false

Details

If enabled, MediaWiki checks redirects in File: namespace.

Enabled unconditionally in 1.13.