Fixes #913 double escaping in functions_search.php

#913
Merge pull request #1045 from PirataNervo/fix-913

Fixes #913 double escaping in functions_search.php