Update plugin-manager-ui.js

janfaracik · Sep 6, 2022 · 2b2d85b · 2b2d85b
1 parent 153f744
commit 2b2d85b
Showing 1 changed file with 2 additions and 6 deletions.
diff --git a/war/src/main/js/plugin-manager-ui.js b/war/src/main/js/plugin-manager-ui.js
@@ -15,9 +15,7 @@ function applyFilter(searchQuery) {
       var selectedPlugins = [];
 
       var filterInput = document.getElementById("filter-box");
-      filterInput.parentElement.classList.remove(
-        "app-plugin-manager__search--loading"
-      );
+      filterInput.parentElement.classList.remove("jenkins-search--loading");
 
       function clearOldResults() {
         if (!admin) {
@@ -62,9 +60,7 @@ document.addEventListener("DOMContentLoaded", function () {
   var filterInput = document.getElementById("filter-box");
   filterInput.addEventListener("input", function (e) {
     debouncedFilter(e);
-    filterInput.parentElement.classList.add(
-      "app-plugin-manager__search--loading"
-    );
+    filterInput.parentElement.classList.add("jenkins-search--loading");
   });
 
   filterInput.focus();