rails/rails — pull request #4893 by bcardarella (2012-02-05 17:10:10+00:00)
Title: Highlight defaults to HTML5 `mark` element

Replaces pull request #2341