mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-12-17 18:30:49 +00:00
|
||
---|---|---|
.. | ||
mysql | ||
postgres | ||
sqlite | ||
echo_push_provider.sql | ||
echo_push_subscription.sql | ||
echo_push_topic.sql | ||
tables-sharedtracking.json | ||
tables.json |