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

SpecialGadgets: Replace deprecated SkinFactory::getSkinNames() call

Browse source 
Bug: T377521
Change-Id: I60f28e3d9399227b02592bd71e9fdfff7a0118ed
(cherry picked from commit 1d38fe185d)
This commit is contained in:
Reedy 2024-10-29 00:47:31 +00:00
parent 4a1abc8745
commit 5d93751994
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/Special/SpecialGadgets.php
View file

@ -281,7 +281,7 @@ class SpecialGadgets extends SpecialPage {
// Portion: Show required skins (optional)
$requiredSkins = $gadget->getRequiredSkins();
$skins = [];
$validskins = $this->skinFactory->getSkinNames();
$validskins = $this->skinFactory->getInstalledSkins();
foreach ( $requiredSkins as $skinid ) {
if ( isset( $validskins[$skinid] ) ) {
$skins[] = $this->msg( "skinname-$skinid" )->plain();