Manual:$wgRedirectScript

Details
The URL of redirect.php, relative to the DOCUMENT_ROOT.

This was used for backwards compatibility with earlier versions of MediaWiki.

It was used by the nostalgia skin for the special pages drop-down.