Manual:$wgAdvancedSearchHighlighting/fr

Détails
Initialisez à  pour obtenir davantage d'extraits textuels utiles dans les résultats de recherche. $wgAdvancedSearchHighlighting basically does not really change the way a search hit is highlighted. In so far the option is poorly named. What it in fact does change is which part(s) of a result page get(s) displayed: Without $wgAdvancedSearchHighlighting set, irrelevant parts might show up while with $wgAdvancedSearchHighlighting set to true, the places of the exact hits are more likely to be displayed. Off by default due to execution overhead.