$wgAjaxSearch: Difference between revisions