Amire80 has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/396929 )
Change subject: Change "articles" to "main namespace pages" ...................................................................... Change "articles" to "main namespace pages" The usual practice in MediaWiki is to say "pages" and not "articles". If it's important for any wiki to write "articles", it can be changed locally. Change-Id: I925f5b0b1ff3fdbde0a32d759bf8f9c3b4d13a69 --- M i18n/en.json 1 file changed, 1 insertion(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/CirrusSearch refs/changes/29/396929/1 diff --git a/i18n/en.json b/i18n/en.json index e47f18f..8232aa6 100644 --- a/i18n/en.json +++ b/i18n/en.json @@ -80,5 +80,5 @@ "cirrussearch-explore-similar-related-none": "No related pages available", "cirrussearch-explore-similar-categories-none": "No categories available", "cirrussearch-explore-similar-languages-none": "Not available in other languages", - "cirrussearch-article-words": "Words in all articles" + "cirrussearch-article-words": "Words in all pages in the namespace" } -- To view, visit https://gerrit.wikimedia.org/r/396929 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I925f5b0b1ff3fdbde0a32d759bf8f9c3b4d13a69 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/CirrusSearch Gerrit-Branch: master Gerrit-Owner: Amire80 <amir.ahar...@mail.huji.ac.il> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits