wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-23 14:56:43 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-CodeEd.../includes
History
gerritbot dafb05f12d Update UserOptionsLookup's FQN 
User-options related classes are being moved to the MediaWiki\User\Options namespace in MediaWiki Core; reflect that change here.

Bug: T352284
Depends-On: I9822eb1553870b876d0b8a927e4e86c27d83bd52
Change-Id: I2af14da0c4f2d13e94b0301ae5d4d2589e05f0b7
2023-11-29 12:38:27 +00:00
..
Hooks Create HookRunner class and the hook handler interface 2023-06-04 21:23:14 +02:00
Hooks.php Update UserOptionsLookup's FQN 2023-11-29 12:38:27 +00:00