Manual:CheckBadRedirects.php/de-formal

Details
checkBadRedirects.php file is a maintenance script to check that pages marked as being redirects really are redirects.

It is useful when a page is marked as a redirect in the page database table but the page is not actually a redirect.

Options/Arguments
This script does not take any options/arguments as input.