wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-12-01 10:56:44 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/tests/phpunit/unit/Push
History
Michael Holloway a5bcc65504 Fix push subscription retrieval 
Updates the push subscription query to retrieve a provider string rather
than only its numeric internal ID.

Change-Id: I910173409e48e8b6a6739d3122165c40b0d52b7f
2020-06-08 13:58:42 +02:00
..
SubscriptionTest.php Fix push subscription retrieval 2020-06-08 13:58:42 +02:00