If it helps anyone, I happen to know that there exists an addon which visits all anchor tags on a page and rewrites mxr.mozilla.org to dxr.mozilla.org. https://addons.mozilla.org/en-US/firefox/addon/mxr-to-dxr/
Disclaimer: I'm the author. On Wed, Jul 6, 2016 at 7:12 PM, Boris Zbarsky <bzbar...@mit.edu> wrote: > On 6/30/16 3:56 PM, Erik Rose wrote: > >> Hi, Kendall. As a pain mitigation strategy for MXR URLs embedded >> immutably in Bugzilla and in people's Awesomebar histories, can we redirect >> MXR requests as Dão suggests? >> > > This really needs to happen. I've hit broken mxr links from bugzilla > comments at least 7 or 8 times so far, and I was on vacation for most of > the time mxr has been down. It's a pretty serious productivity drag. > > -Boris > > _______________________________________________ > dev-platform mailing list > dev-platform@lists.mozilla.org > https://lists.mozilla.org/listinfo/dev-platform > _______________________________________________ dev-platform mailing list dev-platform@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-platform
