[reactos] 01/01: [DOXYGEN] Enable EXTERNAL_SEARCH, because this seems to be the most sophisticated Doxygen search feature and the PHP-based search isn't compatible with PHP7 yet.

[Colin Finck]

https://git.reactos.org/?p=reactos.git;a=commitdiff;h=cb8429d76a1710d68a3b6…

commit cb8429d76a1710d68a3b6c29e3f87ebe71579869
Author:     Colin Finck <colin(a)reactos.org>
AuthorDate: Thu Dec 6 15:13:40 2018 +0100
Commit:     Colin Finck <colin(a)reactos.org>
CommitDate: Thu Dec 6 15:13:40 2018 +0100

    [DOXYGEN] Enable EXTERNAL_SEARCH, because this seems to be the most sophisticated
Doxygen search feature and the PHP-based search isn't compatible with PHP7 yet.
---
 Doxyfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Doxyfile b/Doxyfile
index b79fed8cb8..74dd35fc27 100644
--- a/Doxyfile
+++ b/Doxyfile
@@ -1578,7 +1578,7 @@ SERVER_BASED_SEARCH    = YES
 # The default value is: NO.
 # This tag requires that the tag SEARCHENGINE is set to YES.
 
-EXTERNAL_SEARCH        = NO
+EXTERNAL_SEARCH        = YES
 
 # The SEARCHENGINE_URL should point to a search engine hosted by a web server
 # which will return the search results when EXTERNAL_SEARCH is enabled.
@@ -1589,7 +1589,7 @@ EXTERNAL_SEARCH        = NO
 # Searching" for details.
 # This tag requires that the tag SEARCHENGINE is set to YES.
 
-SEARCHENGINE_URL       =
+SEARCHENGINE_URL       = https://doxygen.reactos.org/doxysearch.cgi
 
 # When SERVER_BASED_SEARCH and EXTERNAL_SEARCH are both enabled the unindexed
 # search data is written to a file for indexing by an external tool. With the