I have been getting this error for the last few days when I try to download an extension from Mediawiki. Since other downloads are working OK I am wondering if there is a problem with the server. Linux system. FYI frosty