Ori.livneh has submitted this change and it was merged. Change subject: Use rawParams rather than numParams for rev ID ......................................................................
Use rawParams rather than numParams for rev ID I just chatted Amir Aharoni about this in #mediawiki-i18n, and he agreed that the context in which this message is used makes using the raw European number sensible. Change-Id: I4c03b5218a305cb0bb14394db67adcf24f2920d6 --- M includes/JsonSchemaHooks.php 1 file changed, 3 insertions(+), 1 deletion(-) Approvals: Ori.livneh: Mattflaschen: Looks good to me, approved jenkins-bot: Verified -- To view, visit https://gerrit.wikimedia.org/r/42145 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I4c03b5218a305cb0bb14394db67adcf24f2920d6 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/EventLogging Gerrit-Branch: master Gerrit-Owner: Ori.livneh <[email protected]> Gerrit-Reviewer: Mattflaschen <[email protected]> Gerrit-Reviewer: Ori.livneh <[email protected]> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
