Manual:CheckExtensions.php