jenkins-bot has submitted this change and it was merged.
Change subject: Fix wrong case of Id
......................................................................
Fix wrong case of Id
* in the code snipped fot the documentation ID was used instead of Id
Change-Id: I5520440e3885f4cfdbe32d756ae58e41fa5d3786
---
M i18n/en.json
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Raimond Spekking: Looks good to me, approved
jenkins-bot: Verified
diff --git a/i18n/en.json b/i18n/en.json
index 16a8ef1..865207a 100644
--- a/i18n/en.json
+++ b/i18n/en.json
@@ -27,7 +27,7 @@
"math-wmc-SelectRun": "Name",
"math-wmc-SelectRunHelp" : "Specify a unique name for your submission, or
overwrite an existing draft.",
"math-wmc-FileLabel" : "CSV File",
- "math-wmc-FileHelp" : "Upload your results as ranked, comma separated list
of (queryId,formulaId)-pairs. A column header of the form
<code>queryID,formulaId</code> is required.",
+ "math-wmc-FileHelp" : "Upload your results as ranked, comma separated list
of (queryId,formulaId)-pairs. A column header of the form
<code>queryId,formulaId</code> is required.",
"math-wmc-RunAdded": "Added submission \"$1\" with Id \"$2\"",
"math-wmc-RunAddError": "Error: Cannot add submission \"$1\".",
"math-wmc-RunAddExist": "Submission named \"$1\" already exists with Id
\"$2\"",
--
To view, visit https://gerrit.wikimedia.org/r/175409
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I5520440e3885f4cfdbe32d756ae58e41fa5d3786
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/MathSearch
Gerrit-Branch: master
Gerrit-Owner: Physikerwelt <w...@physikerwelt.de>
Gerrit-Reviewer: Raimond Spekking <raimond.spekk...@gmail.com>
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
