Problème avec ini_set disabled en PHP 7.4 cette fois

Dans 1627e710 il y a une correction pour la fonction ini_set désactivée en PHP 8+

Et bien ça semble avoir cassé en PHP 7.4 ce faisant. On obtient PHP Fatal error: Cannot redeclare ini_set() .../adminer/index.php on line 111