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

Drop global class aliases

Browse source 
Change-Id: I00c04f64e24454ba7b55d65803de64cbe90381eb
This commit is contained in:
Reedy 2022-03-29 20:39:19 +01:00
parent 95a884a312
commit 85c05077e6
3 changed files with 0 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
extension.json
View file

@ -65,12 +65,6 @@
"RawHtmlMessages": [
"gadgets-definition"
],
"AutoloadClasses": {
"Gadget": "includes/Gadget.php",
"GadgetRepo": "includes/GadgetRepo.php",
"MediaWiki\\Extension\\Gadgets\\Gadget": "includes/Gadget.php",
"MediaWiki\\Extension\\Gadgets\\GadgetRepo": "includes/GadgetRepo.php"
},
"AutoloadNamespaces": {
"MediaWiki\\Extension\\Gadgets\\": "includes/"
},

2
includes/Gadget.php
View file

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

2
includes/GadgetRepo.php
View file

@ -139,5 +139,3 @@ abstract class GadgetRepo {
self::$instance = $repo;
}
}
class_alias( GadgetRepo::class, 'GadgetRepo' );