Manual:CheckBadRedirects.php

Details
checkBadRedirects.php file is a maint-scripts>Special:MyLanguage/Manual:Maintenance scripts|maintenance script to check that pages marked as being redirects really are.