wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-09-24 10:49:37 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix grammar in push notification delete api string

Browse source 
Follow-up from Ia6c17588ee94e6be74e5e3a75eb33e38f172fc93.

Change-Id: I7ae5a4fb9dad7dc89b0d0a7292c5f87aec225698
This commit is contained in:
Bernd Sitzmann 2020-08-24 11:33:20 -06:00
parent 763e7ab1bb
commit e1c1e89ade
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
i18n/api/en.json
View file

@ -35,7 +35,7 @@
"apihelp-echopushsubscriptions+create-param-provider": "The push service provider for which to register a token.",
"apihelp-echopushsubscriptions+create-param-providertoken": "The token to register.",
"apihelp-echopushsubscriptions+create-example": "Register a push subscription for the current user.",
"apihelp-echopushsubscriptions+delete-summary": "Unregister a push subscriptions for the current user or another specified user.",
"apihelp-echopushsubscriptions+delete-summary": "Unregister push subscriptions for the current user or another specified user.",
"apihelp-echopushsubscriptions+delete-param-providertoken": "The token associated with the push subscription to unregister.",
"apihelp-echopushsubscriptions+delete-param-centraluserid": "The central user ID associated with the subscription to unregister.",
"apihelp-echopushsubscriptions+delete-example": "Unregister a push subscription for the current user.",