Manual:CheckExtensions.php/de-formal

Details
checkExtensions.php file is a maintenance script to check the extensions language files.