[Bug 25187] Simple search: Double highlighting

https://bugzilla.wikimedia.org/show_bug.cgi?id=25187 Mayank Madan changed: What|Removed |Added CC||maddiema...@gmail.com --- Comment #5 fr

[Bug 25187] Simple search: Double highlighting

https://bugzilla.wikimedia.org/show_bug.cgi?id=25187 Bartosz Dziewoński changed: What|Removed |Added Version|unspecified |1.22-git --- Comment #4 from Bart

[Bug 25187] Simple search: Double highlighting

https://bugzilla.wikimedia.org/show_bug.cgi?id=25187 Bartosz Dziewoński changed: What|Removed |Added Component|Vector |Skin and page rendering

[Bug 25187] Simple search: Double highlighting

https://bugzilla.wikimedia.org/show_bug.cgi?id=25187 Andre Klapper changed: What|Removed |Added Priority|Normal |Low CC|

[Bug 25187] Simple search: Double highlighting

https://bugzilla.wikimedia.org/show_bug.cgi?id=25187 Thehelpfulone changed: What|Removed |Added AssignedTo|amil...@wikimedia.org |wikibugs-l@lists.wikimedia.

[Bug 25187] Simple search: Double highlighting

https://bugzilla.wikimedia.org/show_bug.cgi?id=25187 Roan Kattouw changed: What|Removed |Added AssignedTo|tpars...@wikimedia.org |amil...@wikimedia.org -- Configure bug