Manual:$wgUseOldSearchUI/de-formal

Details
Whether to use the "old" search user interface.

The new search UI is always used as of 1.16.0.