Fix search.js "Uncaught ReferenceError: Cookie is not defined"

This commit is contained in:
kimci86 2024-05-08 12:37:16 +02:00 committed by Lukas Dürrenberger
parent 66c5fae7c1
commit 7f27cad9ae

View File

@ -6,6 +6,7 @@
<link rel="stylesheet" type="text/css" href="doxygen.css" title="default" media="screen,print" /> <link rel="stylesheet" type="text/css" href="doxygen.css" title="default" media="screen,print" />
<script type="text/javascript" src="jquery.js"></script> <script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script> <script type="text/javascript" src="dynsections.js"></script>
<script type="text/javascript" src="cookie.js"></script>
<link rel="stylesheet" type="text/css" href="search/search.css" /> <link rel="stylesheet" type="text/css" href="search/search.css" />
<link rel="stylesheet" type="text/css" href="searchOverrides.css" /> <link rel="stylesheet" type="text/css" href="searchOverrides.css" />
<script type="text/javascript" src="search/searchdata.js"></script> <script type="text/javascript" src="search/searchdata.js"></script>