/javascript" src="../../jquery/jquery-3.3.1.js"></script>
    <script type="text/javascript" src="../../jquery/jquery-migrate-3.0.1.js"></script>
    <script type="text/javascript" src="../../jquery/jquery-ui.js"></script>

    <script type="text/javascript" src="../../search.js"></script>
    <script async type="text/javascript" src="../../module-search-index.js"></script>
    <script async type="text/javascript" src="../../package-search-index.js"></script>
    <script async type="text/javascript" src="..