wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-23 23:44:53 +00:00
Code Issues Packages Projects Releases Wiki Activity
6789 commits 164 branches 0 tags 74 MiB
Commit graph

1 commit

Author SHA1 Message Date
Umherirrender 0a387990a5 schema: Move all sql files to own folder 
Change-Id: Icb227fb5c23eabba8df9e06833779d009218755b
 2022-06-11 08:26:48 +02:00
Renamed from db_patches/echo_push_provider.sql (Browse further)