Translations:Manual:$wgAjaxSearch/9/en

This setting has been removed in favor of $1, introduced in 1.13.0.