wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-12-13 16:39:32 +00:00
Code Issues Packages Projects Releases Wiki Activity
7042 commits 14 branches 19 tags 78 MiB
Commit graph

4 commits

Author SHA1 Message Date
Umherirrender a0ca1d89c6 Use namespaced classes 
Changes to the use statements done automatically via script
Addition of missing use statements done manually

Change-Id: Iad87245bf8082193be72f7e482f29e9f1bad11fc
 2023-12-11 16:39:00 +01:00
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)