https://bugzilla.wikimedia.org/show_bug.cgi?id=67784
--- Comment #2 from Dan Kindsvater dankindsva...@gmail.com ---
A (possibly older) version of highlightText is at
https://bugzilla.wikimedia.org/show_bug.cgi?id=67784
Dan Kindsvater dankindsva...@gmail.com changed:
What|Removed |Added
CC|
https://bugzilla.wikimedia.org/show_bug.cgi?id=67784
Andre Klapper aklap...@wikimedia.org changed:
What|Removed |Added
Priority|Unprioritized |Low
https://bugzilla.wikimedia.org/show_bug.cgi?id=67784
WhatamIdoing wmf.whatamido...@yahoo.com changed:
What|Removed |Added
Summary|jquery.highlightText.js