wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-23 23:03:46 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-CodeEd.../includes
History
Umherirrender 10dddec75b Replace deprecated Hooks::run 
Bug: T335536
Change-Id: Ifc18d80c15f714d58aef33c9991079db9406a19e
2023-04-29 20:13:21 +02:00
..
Hooks.php Replace deprecated Hooks::run 2023-04-29 20:13:21 +02:00