jenkins-bot has submitted this change and it was merged.
Change subject: Replace "articles" with "pages"
......................................................................
Replace "articles" with "pages"
This is the usual convention for consistency and portability.
Change-Id: I2df05ee38d85aa42b79a189bebaa176c2b2c6c4b
---
M modules/ve-mw/i18n/en.json
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Jforrester: Looks good to me, approved
jenkins-bot: Verified
diff --git a/modules/ve-mw/i18n/en.json b/modules/ve-mw/i18n/en.json
index 1fc483b..234b13a 100644
--- a/modules/ve-mw/i18n/en.json
+++ b/modules/ve-mw/i18n/en.json
@@ -242,7 +242,7 @@
"visualeditor-formatdropdown-format-mw-heading6": "Sub-heading 4",
"visualeditor-languages-tool": "Languages",
"visualeditor-linkinspector-button-link-external": "External link",
- "visualeditor-linkinspector-button-link-internal": "Search articles",
+ "visualeditor-linkinspector-button-link-internal": "Search pages",
"visualeditor-linkinspector-description-new-page": "page does not exist
yet",
"visualeditor-linkinspector-description-redirect": "redirect to $1",
"visualeditor-linkinspector-illegal-title": "Invalid page title",
--
To view, visit https://gerrit.wikimedia.org/r/208952
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I2df05ee38d85aa42b79a189bebaa176c2b2c6c4b
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/VisualEditor
Gerrit-Branch: master
Gerrit-Owner: Amire80 <amir.ahar...@mail.huji.ac.il>
Gerrit-Reviewer: Jforrester <jforres...@wikimedia.org>
Gerrit-Reviewer: Siebrand <siebr...@kitano.nl>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
