wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-14 11:25:10 +00:00
Code Issues Packages Projects Releases Wiki Activity
1118 commits 146 branches 0 tags 124 MiB
Commit graph

1 commit

Author SHA1 Message Date
Ed Sanders 6c3dd3aaa9 Move Hooks to HookUtils 
Now that all the real hooks have been separated out

Change-Id: Ibdb42f98614fc551068f8f8e5297dcc99251ab46
 2021-02-01 22:35:11 +00:00
Renamed from includes/Hooks.php (Browse further)