Wed Oct 27 19:56:56 UTC 2010  pix@kepibu.org
  * Eliminate unused code.
diff -rN -u old-httpauth/form-to-http-auth.js new-httpauth/form-to-http-auth.js
--- old-httpauth/form-to-http-auth.js	2015-04-15 15:00:46.000000000 +0000
+++ new-httpauth/form-to-http-auth.js	2015-04-15 15:00:46.000000000 +0000
@@ -3,18 +3,6 @@
         /* Skip if the browser indicates it does this itself. */
         if (this.className.match(/(\\s|^)natively-supported(\\s|$)/))
             return true;
-        /* Force the browser to clear the auth credentials. */
-        /*
-        var xhr = $.ajax({
-            url: "/ajax-login.php",
-            async: true,
-            global: false,
-            username: "-",
-            password: "-",
-            dataType: "text"
-        });
-        xhr.abort();
-        */
         /* Attempt login with provided credentials. */
         var username = this.username.value;
         var password = this.password.value;