Search engine fails entirely (PR#4966)

Full_Name: Robert King
Version: 1.8.0
OS: linux (debian)
Submission from: (NULL) (134.148.20.33)


Also seen in 1.7

Start R, Start html help (mozilla), go to search engine, try searching for mean
No results given.

Mozilla javascript console says:

Error: document.SearchEngine.search is not a function
Source File: file:///tmp/Rtmp22901/.R/doc/html/search/SearchEngine.html
Line: 32

line 32 is ....
line = line + document.SearchEngine.search (searchTerm,