mediawiki: prefer https by default