Fixes #913 double escaping in functions_search.php

#913