Merge pull request #9914 from frederic34/patch-27

make play and playdisable equals
This commit is contained in:
Laurent Destailleur 2018-10-30 14:49:54 +01:00 committed by GitHub
commit c9d00848e6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3237,6 +3237,9 @@ function img_picto($titlealt, $picto, $moreatt = '', $pictoisfullpath = false, $
elseif ($pictowithoutext == 'playdisabled') {
$fakey = 'fa-play';
$facolor = '#ccc';
} elseif ($pictowithoutext == 'play') {
$fakey = 'fa-play';
$facolor = '#444';
}
else {
$fakey = 'fa-'.$pictowithoutext;