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

2 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
Umherirrender e52a792060 Create HookRunner class and the hook handler interfaces 
Bug: T315938
Change-Id: Iffa2b409502b4269c9746e0304feb4aaee37a86e
 2023-08-06 10:30:46 +00:00