Allow to distinguish between MySQL and MariaDB (also in installation) #4986

Job	Run time
UI (0)	19m 57s
Client	1m 7s
Javascript	3m 15s
UI (1)	15m 16s
PHP (UnitTests, 7.2, Mysql, PDO_MYSQL)	2m 36s
UI (2)	19m 9s
PHP (UnitTests, 8.2, Mariadb, MYSQLI)	2m 39s
UI (3)	22m 7s
PHP (UnitTests, 8.3, Mysql, MYSQLI)	2m 43s
PHP (SystemTestsPlugins, 7.2, Mysql, PDO_MYSQL)	11m 51s
PHP (SystemTestsPlugins, 8.2, Mariadb, MYSQLI)	12m 39s
PHP (SystemTestsPlugins, 8.3, Mysql, MYSQLI)	12m 59s
PHP (SystemTestsCore, 7.2, Mysql, PDO_MYSQL)	9m 9s
PHP (SystemTestsCore, 8.2, Mariadb, MYSQLI)	8m 38s
PHP (SystemTestsCore, 8.3, Mysql, MYSQLI)	8m 49s
PHP (IntegrationTestsCore, 7.2, Mysql, PDO_MYSQL)	10m 47s
PHP (IntegrationTestsCore, 8.2, Mariadb, MYSQLI)	11m 47s
PHP (IntegrationTestsCore, 8.3, Mysql, MYSQLI)	11m 51s
PHP (IntegrationTestsPlugins, 7.2, Mysql, PDO_MYSQL)	26m 6s
PHP (IntegrationTestsPlugins, 8.2, Mariadb, MYSQLI)	29m 45s
PHP (IntegrationTestsPlugins, 8.3, Mysql, MYSQLI)	29m 49s
	4h 32m 59s

Provide feedback