That will be really useful, thanks! All I need now is an open search engine for c-c to plug into Firefox search box. ;)
Axel On 11 Jul 2016 03:09, "Peter Elmers" <pelm...@mozilla.com> wrote: > 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 >> > > > _______________________________________________ > firefox-dev mailing list > firefox-...@mozilla.org > https://mail.mozilla.org/listinfo/firefox-dev > > _______________________________________________ dev-platform mailing list dev-platform@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-platform
