wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-15 03:23:51 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add global class_alias for Gadget

Browse source 
Used for serialization purposes...

Change-Id: I3345ad668aa55596bc9ec18b56d9891f10bb0285
This commit is contained in:
Reedy 2022-03-06 01:50:36 +00:00
parent 01f6a6c34e
commit 2952dadb9f
2 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
extension.json
View file

@ -66,7 +66,9 @@
"gadgets-definition" "gadgets-definition"
], ],
"AutoloadClasses": { "AutoloadClasses": {
"Gadget": "includes/Gadget.php",
"GadgetRepo": "includes/GadgetRepo.php", "GadgetRepo": "includes/GadgetRepo.php",
"MediaWiki\\Extension\\Gadgets\\Gadget": "includes/Gadget.php",
"MediaWiki\\Extension\\Gadgets\\GadgetRepo": "includes/GadgetRepo.php" "MediaWiki\\Extension\\Gadgets\\GadgetRepo": "includes/GadgetRepo.php"
}, },
"AutoloadNamespaces": { "AutoloadNamespaces": {

2
includes/Gadget.php
View file

@ -417,3 +417,5 @@ class Gadget {
return 'general'; return 'general';
} }
} }
class_alias( Gadget::class, 'Gadget' );