use minified version of jquery migrate. un-minified is for logging

papyri · Dec 10, 2024 · 6cc3b08 · 6cc3b08
1 parent 7ad6934
commit 6cc3b08
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/pn-site/facetbrowse.html b/pn-site/facetbrowse.html
@@ -10,7 +10,7 @@
     <link rel="stylesheet" href="/css/jquery.bubblepopup.v2.1.5.css" type="text/css" media="screen" title="no title" charset="utf-8">
     <link rel="stylesheet" href="/css/autocomplete/autocomplete.css" type="text/css" media="screen" title="no title" charset="utf-8">
     <script src="/js/jquery-3.7.1.min.js" type="text/javascript" charset="utf-8"></script>
-    <script src="/js/jquery-migrate-3.5.2.js" type="text/javascript" charset="utf-8"></script>
+    <script src="/js/jquery-migrate-3.5.2.min.js" type="text/javascript" charset="utf-8"></script>
    <script src="/js/jquery-ui-1.14.1.min.js" type="text/javascript" charset="utf-8"></script>
     <script src="/js/jquery.bubblepopup.v2.1.5.min.js" type="text/javascript" charset="utf-8"></script>
     <script src="/js/jquery.cookie.js" type="text/javascript" charset="utf-8"></script>

diff --git a/pn-site/index.html b/pn-site/index.html
@@ -8,7 +8,7 @@
   <link rel="stylesheet" href="/css/custom-theme/jquery-ui-1.14.1.min.css" type="text/css" media="screen" title="no title" charset="utf-8">
   <link rel="stylesheet" href="/css/custom-theme/jquery-ui-dul-theme-shim.css" type="text/css" media="screen" title="no title" charset="utf-8">  <script src="/js/jquery-1.5.1.min.js" type="text/javascript" charset="utf-8"></script>
   <script src="/js/jquery-3.7.1.min.js" type="text/javascript" charset="utf-8"></script>
-  <script src="/js/jquery-migrate-3.5.2.js" type="text/javascript" charset="utf-8"></script>
+  <script src="/js/jquery-migrate-3.5.2.min.js" type="text/javascript" charset="utf-8"></script>
   <script src="/js/jquery-ui-1.14.1.min.js" type="text/javascript" charset="utf-8"></script>
   <script src="/js/init.js" type="text/javascript" charset="utf-8"></script>
   <script>

diff --git a/pn-site/template.html b/pn-site/template.html
@@ -8,7 +8,7 @@
   <link rel="stylesheet" href="/css/custom-theme/jquery-ui-1.14.1.min.css" type="text/css" media="screen" title="no title" charset="utf-8">
   <link rel="stylesheet" href="/css/custom-theme/jquery-ui-dul-theme-shim.css" type="text/css" media="screen" title="no title" charset="utf-8">  <script src="/js/jquery-1.5.1.min.js" type="text/javascript" charset="utf-8"></script>
   <script src="/js/jquery-3.7.1.min.js" type="text/javascript" charset="utf-8"></script>
-  <script src="/js/jquery-migrate-3.5.2.js" type="text/javascript" charset="utf-8"></script>
+  <script src="/js/jquery-migrate-3.5.2.min.js" type="text/javascript" charset="utf-8"></script>
   <script src="/js/jquery-ui-1.14.1.min.js" type="text/javascript" charset="utf-8"></script>
   <script src="/js/init.js" type="text/javascript" charset="utf-8"></script>
   <script>