jenkins-bot has submitted this change and it was merged.

Change subject: Don't mention Solr since we don't use it
......................................................................


Don't mention Solr since we don't use it

Change-Id: I7f6a01131334519d9d8a0c3332b507a665263769
---
M CirrusSearch.i18n.php
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Reedy: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/CirrusSearch.i18n.php b/CirrusSearch.i18n.php
index f80b6b5..4864de3 100644
--- a/CirrusSearch.i18n.php
+++ b/CirrusSearch.i18n.php
@@ -30,7 +30,7 @@
  */
 $messages['qqq'] = array(
        'cirrussearch-desc' => '{{desc|name=Cirrus 
Search|url=http://www.mediawiki.org/wiki/Extension:CirrusSearch}}
-"Elasticsearch" and "Solr" are full-text search engines. See 
http://www.elasticsearch.org/',
+"Elasticsearch" is a full-text search engine. See 
http://www.elasticsearch.org/',
        'cirrussearch-backend-error' => 'Error message shown to the users when 
we have an issue communicating with our search backend',
        'cirrussearch-ignored-headings' => 'Headings that will be ignored by 
search. You can translate the text, including "Leave this line exactly as it 
is". Some lines of this messages have one (1) leading space.',
 );

-- 
To view, visit https://gerrit.wikimedia.org/r/92447
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I7f6a01131334519d9d8a0c3332b507a665263769
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/CirrusSearch
Gerrit-Branch: master
Gerrit-Owner: Chad <[email protected]>
Gerrit-Reviewer: PleaseStand <[email protected]>
Gerrit-Reviewer: Reedy <[email protected]>
Gerrit-Reviewer: jenkins-bot

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to