vufind-org/vufind — pull request #59 by crhallberg (2013-12-13 19:54:42+00:00)
Title: HTML5 <mark> highlighting

Ticket: https://vufind.org/jira/browse/VUFIND-563

Reference: https://developer.mozilla.org/en-US/docs/Web/HTML/Element/mark

:+1: