Manual:FindMissingFiles.php/de-formal

Details
findMissingFiles.php maintenance script finds registered files with no corresponding file.