mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-30 18:45:07 +00:00
0bc5808783
Change-Id: I9515984e294cd3910a841a07eb3239fa20040a3e |
||
---|---|---|
.. | ||
mysql | ||
postgres | ||
sqlite | ||
echo_push_provider.sql | ||
echo_push_subscription.sql | ||
echo_push_topic.sql | ||
tables-sharedtracking.json | ||
tables.json |