wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-12-22 04:33:58 +00:00
Code Issues Packages Projects Releases Wiki Activity
6622 commits 15 branches 19 tags 79 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/patch-drop-user-hash-timestamp-index.sql (Browse further)