<div dir="ltr"><div>If it helps anyone, I happen to know that there exists an addon which visits all anchor tags on a page and rewrites <a href="http://mxr.mozilla.org">mxr.mozilla.org</a> to <a href="http://dxr.mozilla.org">dxr.mozilla.org</a>. <a href="https://addons.mozilla.org/en-US/firefox/addon/mxr-to-dxr/">https://addons.mozilla.org/en-US/firefox/addon/mxr-to-dxr/</a><br></div><div><br></div>Disclaimer: I'm the author.<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Jul 6, 2016 at 7:12 PM, Boris Zbarsky <span dir="ltr"><<a href="mailto:bzbarsky@mit.edu" target="_blank">bzbarsky@mit.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On 6/30/16 3:56 PM, Erik Rose wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
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?<br>
</blockquote>
<br></span>
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.<span class="HOEnZb"><font color="#888888"><br>
<br>
-Boris</font></span><div class="HOEnZb"><div class="h5"><br>
_______________________________________________<br>
dev-platform mailing list<br>
<a href="mailto:dev-platform@lists.mozilla.org" target="_blank">dev-platform@lists.mozilla.org</a><br>
<a href="https://lists.mozilla.org/listinfo/dev-platform" rel="noreferrer" target="_blank">https://lists.mozilla.org/listinfo/dev-platform</a><br>
</div></div></blockquote></div><br></div>