Add a banner about DXR Decommission

sylvestre · erikrose · commit ef09324a3293 · 2020-11-04T16:04:18.000-05:00
diff --git a/dxr/templates/layout.html b/dxr/templates/layout.html
@@ -19,6 +19,8 @@
   <body>
 
     <div class="header">
+        <div>DXR will be turned off on Tuesday, December 29th. It will redirect to <a href="https://searchfox.org/">Searchfox</a>.</div>
+        <div>See the <a href="https://discourse.mozilla.org/t/decommission-dxr/69475">announcement on Discourse</a>.</div>
         <div class="help-icon">
             <div class="help-msg">
                 <p>DXR is a code search and navigation tool aimed at making sense of large projects. It supports full-text and regex searches as well as structural queries.</p>
