diff --git a/opengrok-web/src/main/java/org/opengrok/web/Scripts.java b/opengrok-web/src/main/java/org/opengrok/web/Scripts.java index af3f0b58be0..9d4bd455225 100644 --- a/opengrok-web/src/main/java/org/opengrok/web/Scripts.java +++ b/opengrok-web/src/main/java/org/opengrok/web/Scripts.java @@ -29,9 +29,11 @@ import java.util.List; import java.util.Map; import java.util.NavigableSet; +import java.util.Optional; import java.util.TreeMap; import java.util.TreeSet; +import org.jetbrains.annotations.NotNull; import org.webjars.WebJarAssetLocator; /** @@ -116,9 +118,9 @@ public String toHtml() { putFromWebJar("jquery", "3.6.4/jquery.min.js", 10); putjs("jquery-ui", "js/jquery-ui-1.12.1-custom", 11); putFromWebJar("jquery-tablesorter", "2.31.3/dist/js/jquery.tablesorter.min.js", 12); - putjs("tablesorter-parsers", "js/tablesorter-parsers-0.0.3", 13, true); - putjs("searchable-option-list", "js/searchable-option-list-2.0.15", 14, true); - putjs("utils", "js/utils-0.0.46", 15, true); + putjs("tablesorter-parsers", "js/tablesorter-parsers-0.0.4", 13, true); + putjs("searchable-option-list", "js/searchable-option-list-2.0.16", 14, true); + putjs("utils", "js/utils-0.0.47", 15, true); putjs("repos", "js/repos-0.0.3", 20, true); putjs("diff", "js/diff-0.0.5", 20, true); putjs("jquery-caret", "js/jquery.caret-1.5.2", 25); @@ -203,7 +205,7 @@ public boolean isEmpty() { * @see List#iterator() */ @Override - public Iterator