To do this, we need to add this to the LocalSettings.php file: $wgEnableSearchHighlight = false; This will turn off a feature that annoys most of our users.
Status: NEW → RESOLVED
Last Resolved: 10 years ago
Resolution: --- → FIXED
Product: mozilla.org → mozilla.org Graveyard
You need to log in before you can comment on or make changes to this bug.