a/static/extra.js b/static/extra.js 
...
 
...
6 
    })
6 
    })
7 
    if ($("#results").length) { $("input").blur() }
7 
    if ($("#results").length) { $("input").blur() }
8 
    $('input[name="after"]').jdPicker({});
8 
    $('input[name="after"]').jdPicker({});
9 
    $('input[name="before"]').jdPicker();
9 
    $('input[name="before"]').jdPicker();
10 
})
10 
})


  11
  





  
  

  12
  
function addOpenSearch()






  
  

  13
  
{






  
  

  14
  
  if (window.external && ("AddSearchProvider" in window.external)) {






  
  

  15
  
      /* Build the url of the form http://host/osd.xml */






  
  

  16
  
      var url = document.URL;






  
  

  17
  
      var prefix = RegExp("^https\?://[^/]*/").exec(url);






  
  

  18
  
      window.external.AddSearchProvider(prefix + "osd.xml");






  
  

  19
  
  } else {






  
  

  20
  
    alert("Your browser does not support OpenSearch search plugins.");






  
  

  21
  
  }






  
  

  22
  
}