wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-12-04 04:09:00 +00:00
Code Issues Packages Projects Releases Wiki Activity
6946 commits 14 branches 19 tags 77 MiB
Commit graph

3 commits

Author SHA1 Message Date
Reedy b003945c34 Namespace a few more classes 
Change-Id: Ie233a4c8291432da3bd25d29337db52a2e97b540
 2023-08-18 21:48:15 +01:00
Reedy 1bc5b6daf8 Namespace classes that need aliases 
Change-Id: Ieeeaf80d04b060d6dbca1959d5e66f4c69c5a7f2
 2023-08-18 19:00:41 +01:00
Reedy fb4478454d Namespace Gateway 
Change-Id: I7501be6e57cec92b2b4175b8772d213c7fd031d4
 2022-11-02 14:52:04 -06:00
Renamed from includes/gateway/UserNotificationGateway.php (Browse further)