Bump lunr.js to v2.3.1 (#782)

Includes a workaround that fixes #743. Also seems to boost performance.
JuliaDocs · Aug 10, 2018 · 08c5528 · 08c5528
1 parent 7ab01d5
commit 08c5528
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/assets/html/search.js b/assets/html/search.js
@@ -39,7 +39,7 @@ parseUri.options = {
 requirejs.config({
     paths: {
         'jquery': 'https://cdnjs.cloudflare.com/ajax/libs/jquery/3.1.1/jquery.min',
-        'lunr': 'https://cdnjs.cloudflare.com/ajax/libs/lunr.js/2.1.3/lunr.min',
+        'lunr': 'https://cdnjs.cloudflare.com/ajax/libs/lunr.js/2.3.1/lunr.min',
         'lodash': 'https://cdnjs.cloudflare.com/ajax/libs/lodash.js/4.17.4/lodash.min',
     }
 });