Mediawiki: https is used with Tor

If one wants to configure Mediawiki's Server URL to use the onion service, the site will be served over https, which leads to the same problem addressed here