jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/363118 )
Change subject: Change "article" to "page"
......................................................................
Change "article" to "page"
This is the usual practice in MediaWiki extensions,
for consistency among wikis where pages are
not necessarily articles.
Change-Id: I0ce3ccdc3672c97d130e90f0b033326fe904cab4
---
M i18n/en.json
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Subramanya Sastry: Looks good to me, approved
jenkins-bot: Verified
diff --git a/i18n/en.json b/i18n/en.json
index 7a14249..38600b6 100644
--- a/i18n/en.json
+++ b/i18n/en.json
@@ -12,7 +12,7 @@
"apierror-parsoid-batch-invalidbatch": "Invalid batch, must be array.",
"apierror-parsoid-batch-batchtoolarge": "Batch too large, limit is
500.",
"apierror-parsoid-batch-invalidaction": "Invalid action in item index
$1.",
- "apierror-parsoid-batch-texttoobig": "Input text exceeds maximum
article size.",
+ "apierror-parsoid-batch-texttoobig": "Input text exceeds maximum page
size.",
"apierror-parsoid-batch-invalidtitle": "Invalid title ($1).",
"apierror-parsoid-batch-mustbescalar": "The <var>$1</var> parameter
must be a scalar.",
"apierror-parsoid-batch-mustbearray": "The <var>$1</var> parameter must
be an array."
--
To view, visit https://gerrit.wikimedia.org/r/363118
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I0ce3ccdc3672c97d130e90f0b033326fe904cab4
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/ParsoidBatchAPI
Gerrit-Branch: master
Gerrit-Owner: Amire80 <amir.ahar...@mail.huji.ac.il>
Gerrit-Reviewer: Subramanya Sastry <ssas...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
