From c02ee4503151105dc892018ebc7f633e7f3f62f8 Mon Sep 17 00:00:00 2001 From: Hugo van Kemenade Date: Sun, 16 Jul 2023 10:26:26 +0300 Subject: Docs search: Replace jQuery with vanilla JavaScript (#106743) * Replace jQuery with vanilla JavaScript * Switch 'var' to 'const' or 'let' --- Doc/tools/templates/search.html | 74 ++++++++++++++++++++++++----------------- 1 file changed, 44 insertions(+), 30 deletions(-) diff --git a/Doc/tools/templates/search.html b/Doc/tools/templates/search.html index f2ac2ea..8529744 100644 --- a/Doc/tools/templates/search.html +++ b/Doc/tools/templates/search.html @@ -1,48 +1,62 @@ {% extends "!search.html" %} {% block extrahead %} {{ super() }} + -{% endblock %} \ No newline at end of file +{% endblock %} -- cgit v0.12