From 394774acbb164f9721d780fd12730bc6772d4bb4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Kol=C3=A1rik?= <martin@kolarik.sk>
Date: Mon, 30 Oct 2017 23:39:19 +0100
Subject: [PATCH] Update docsearch.js links (fixes #24608)

---
 _includes/header.html  | 2 +-
 _includes/scripts.html | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/_includes/header.html b/_includes/header.html
index 50606564da70..c2c9deca0c8b 100644
--- a/_includes/header.html
+++ b/_includes/header.html
@@ -21,7 +21,7 @@
 
 <!-- Documentation extras -->
 {% if page.layout == "docs" %}
-<link href="https://cdn.jsdelivr.net/docsearch.js/2/docsearch.min.css" rel="stylesheet">
+<link href="https://cdn.jsdelivr.net/npm/docsearch.js@2/dist/cdn/docsearch.min.css" rel="stylesheet">
 {% endif %}
 <link href="{{ site.baseurl }}/assets/css/docs.min.css" rel="stylesheet">
 
diff --git a/_includes/scripts.html b/_includes/scripts.html
index 98ba3b41ff6a..c3b9715d5c7f 100644
--- a/_includes/scripts.html
+++ b/_includes/scripts.html
@@ -22,7 +22,7 @@
 <script src="{{ site.baseurl }}/assets/js/ie-emulation-modes-warning.js"></script>
 
 {%- if page.layout == "docs" -%}
-<script src="https://cdn.jsdelivr.net/docsearch.js/2/docsearch.min.js"></script>
+<script src="https://cdn.jsdelivr.net/npm/docsearch.js@2/dist/cdn/docsearch.min.js"></script>
 <script>
   docsearch({
     apiKey: '48cb48b22351bc71ea5f12f4d1ede198',