Highlight

Find and edit code or texts in your themes and plugins

Very lightweight (vanilla) Javascript that wraps search terms in an HTML5 mark tag within WordPress search results.