Fix phpstan

This commit is contained in:
Laurent Destailleur
2024-08-20 04:18:02 +02:00
parent b3b21d56b6
commit 0340f0db8d

View File

@@ -5113,7 +5113,7 @@ function img_picto($titlealt, $picto, $moreatt = '', $pictoisfullpath = 0, $srco
'grip_title', 'grip', 'listlight', 'note', 'on', 'off', 'playdisabled', 'printer', 'resize', 'sign-out', 'stats', 'switch_on', 'switch_on_red', 'switch_off',
'uparrow', '1uparrow', '1downarrow', '1leftarrow', '1rightarrow', '1uparrow_selected', '1downarrow_selected', '1leftarrow_selected', '1rightarrow_selected'
);
if (!isset($arrayconvpictotomarginleftonly[$pictowithouttext])) {
if (!array_key_exists($pictowithouttext, $arrayconvpictotomarginleftonly)) {
$marginleftonlyshort = 0;
}