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 |
|