// *** before: ***
if (!isset($options['level'])) {
    $options['level'] = 'default';
}

// *** in version 7.4: ***
$options['level'] ??= 'default';