Manual:$wgFileRedirects/de-formal

Details
If enabled, MediaWiki checks redirects in File: namespace.

Enabled unconditionally in 1.13.