Also add forgotten JS file for disabled menu items.

Author: nickygerritsen

webapp/public/js/domjudge.js

@@ -586,12 +586,12 @@ function updateMenuInternalErrors(data)
     if ( num == 0 ) {
         $("#num-alerts-internalerrors").hide();
         $("#num-alerts-internalerrors-sub").html("");
-        $("#menu_internal_error").removeClass("text-danger").addClass("disabled");
+        $("#menu_internal_error").removeClass("text-danger").addClass("dropdown-disabled");
     } else {
         $("#num-alerts-internalerrors").html(num);
         $("#num-alerts-internalerrors").show();
         $("#num-alerts-internalerrors-sub").html(num + " new");
-        $("#menu_internal_error").addClass("text-danger").removeClass("disabled");
+        $("#menu_internal_error").addClass("text-danger").removeClass("dropdown-disabled");
         for(var i=0; i<num; i++) {
             sendNotification('Judgehost internal error occurred.',
                 {'tag': 'ie_'+data[i].errorid,