$wgAjaxShowEditorsTimeout