N°9974 Show extension code in metadata for extensions (#1025)

This commit is contained in:
Timmy38
2026-08-26 10:37:15 +02:00
committed by GitHub
parent 9c6087fd54
commit 8065343ea6
4 changed files with 8 additions and 8 deletions

View File

@@ -944,7 +944,7 @@ EOF
$sMetadata = '';
if (isset($aChoice['version']) && isset($aChoice['source_label'])) {
$sMetadata = '<span>v'.$aChoice['version'].'</span><span>'.$aChoice['source_label'].'</span>';
$sMetadata = '<span>v'.$aChoice['version'].'</span><span>'.$aChoice['source_label'].'</span><span>'.$aChoice['extension_code'].'</span>';
}
$sChoiceDisabled = $aFlags['disabled'] && !$aFlags['checked'] ? 'choice-disabled' : '';