Bug: The search function in the documentation is not working

[ubeljan]

I have created the documentation as described in user_guide_src/READEME.rst

When you try to search for an item nothing shows up.
It seems that the search function in the documentation is missing a javascript item.
We are talking about the file seach.html.

The missing line is probably:

<script type="text/javascript" src="_static/searchtools.js"></script>

When i'm correct would you please add this line?

This happened in Codeigniter 4.0.3 and 4.0.4

Thanks
Ubel Jan van Wijhe