mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-12-11 15:38:37 +00:00
a5bcc65504
Updates the push subscription query to retrieve a provider string rather than only its numeric internal ID. Change-Id: I910173409e48e8b6a6739d3122165c40b0d52b7f |
||
---|---|---|
.. | ||
controller | ||
gateway | ||
iterator | ||
mapper | ||
model | ||
Push | ||
BundlerTest.php | ||
DiffParserTest.php | ||
EchoContainmentSetTest.php |