On Wed, Jun 14, 2017 at 10:57 AM, Faidon Liambotis faidon@wikimedia.org wrote:
Just to mention a couple of issues: one of them is that we need MediaWiki to emit different URLs for e.g. upload.wikimedia.org resources to point to the onion address that we will designate for media.
That part reminds me a bit of https://phabricator.wikimedia.org/T156847, which is about outputting different addresses in links for the mobile site versus the desktop site. The same solution might work for both onion links and mobile site links.