From 1540c4eaa779c7bc8cbd64a747498118dbb830a5 Mon Sep 17 00:00:00 2001
From: Nicolas Braud-Santoni <nicolas@braud-santoni.eu>
Date: Sun, 17 Nov 2019 17:04:55 +0100
Subject: [PATCH] fixup! themes/mkdocs: Pass inline data to JS as a JSON
 object, not raw Javascript

---
 mkdocs/themes/mkdocs/js/base.js | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/mkdocs/themes/mkdocs/js/base.js b/mkdocs/themes/mkdocs/js/base.js
index 16962b3527..6b00749a93 100644
--- a/mkdocs/themes/mkdocs/js/base.js
+++ b/mkdocs/themes/mkdocs/js/base.js
@@ -20,6 +20,10 @@ $(document).ready(function() {
         $search_modal = $('#mkdocs_search_modal'),
         $keyboard_modal = $('#mkdocs_keyboard_modal');
 
+    // Make base_url global, so external scripts can find it
+    //  (e.g. the search plugin)
+    window.base_url = base_url;
+
     if(highlightjs) {
         hljs.initHighlightingOnLoad();
     }