diff --git a/src/librustdoc/html/static/main.js b/src/librustdoc/html/static/main.js index 21d57a17c6788..9243f72dab7e9 100644 --- a/src/librustdoc/html/static/main.js +++ b/src/librustdoc/html/static/main.js @@ -386,12 +386,16 @@ }); } + function escape(content) { + return $('
').text(content).html(); + } + function showResults(results) { var output, shown, query = getQuery(); currentResults = query.id; - output = '