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

Merge "Hard deprecate GadgetRepo::singleton and GadgetRepo::setSingleton"

Browse source
This commit is contained in:
jenkins-bot 2024-07-05 17:14:04 +00:00 committed by Gerrit Code Review
parent f7281fa6a7 cfa04f8c1e
commit d455cbd512
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/GadgetRepo.php
View file

@ -240,6 +240,7 @@ abstract class GadgetRepo {
* @return GadgetRepo
*/
public static function singleton() {
wfDeprecated( __METHOD__, '1.42' );
if ( self::$instance === null ) {
return MediaWikiServices::getInstance()->getService( 'GadgetsRepo' );
}
@ -253,6 +254,7 @@ abstract class GadgetRepo {
* @param GadgetRepo|null $repo
*/
public static function setSingleton( $repo = null ) {
wfDeprecated( __METHOD__, '1.42' );
self::$instance = $repo;
}
}