Manual:$wgUseOldSearchUI

Details
Whether to use the "old" search UI.