Merge pull request #9764 from Wachizungu/add-mysqlobserverextended-validdatasource

chg: [diagnostics] add Database/MysqlObserverExtended to valid data s…
pull/9771/head
Andras Iklody 2024-06-06 09:28:34 +02:00 committed by GitHub
commit 35dc06259d
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions

View File

@ -168,7 +168,7 @@ function highlightAndSanitize($dirty, $toHighlight, $colorType = 'success')
: __('Updates are not locked'),
$updateLocked ? 'times' : 'check'
);
$validDataSource = in_array($dataSource, ['Database/Mysql', 'Database/MysqlExtended'], true);
$validDataSource = in_array($dataSource, ['Database/Mysql', 'Database/MysqlExtended', 'Database/MysqlObserverExtended'], true);
echo sprintf('<span class="label label-%s" title="%s" style="margin-left: 5px;">%s <i class="fas fa-%s"></i></span>',
$validDataSource ? 'success' : 'important',
__('DataSource: ') . h($dataSource),