jboss-developer/www.jboss.org — pull request #533 by pmuir (2014-09-09 14:07:39+00:00)
Title: DEVELOPER-895

* fix assumption that highlight is defined
* remove weird trigger of buzz from search.js