Manual:$wgSearchRunSuggestedQuery/de-formal

Details
If search returns zero results and current search engine has a "did you mean" suggestion, results for the suggestion will be shown.