wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-12-01 02:46:46 +00:00
Code Issues Packages Projects Releases Wiki Activity
6539 commits 13 branches 19 tags 77 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)