download.eclipse.org/downloads_directory.js

(function($, document) {
  $(document).ready(function() {
    $('.downloads-directory').submit(function() {
      var action = "archive";
      if (document.domain.toLowerCase() === "archive.eclipse.org") {
        action = "delete";
      }
      var c = confirm("Are you sure you would like to "+ action +" the selected item(s)?");
      return c;
    });
  });

})(jQuery, document);