Vadim Zeitlin cd4d9011b7 Fix appearance of search results when using server-based search ...

Use fixed Doxygen PHP search functions to work around Doxygen bug
https://github.com/doxygen/doxygen/issues/7892 which affected our docs
too.

Closes #19276.

2022-03-28 15:29:50 +02:00

8.8 KiB

Raw Blame History

View Raw