PHP 8.5: array_key_exists() with null key deprecation

[zdenekgebauer]

Using null as the key parameter for array_key_exists() is deprecated, use an empty string instead in ... /level-2/dice/Dice.php:220