Invalid use of array union operator

The function getAvailableGlobalTokens in class DataExport (src/Plugins/views/display/DataExport.php) contains an array union operator.

  public function getAvailableGlobalTokens($prepared = FALSE, array $types = []) {
    $types += ['date'];
    return parent::getAvailableGlobalTokens($prepared, $types);
  }

This does not deliver the expected array merge result (refer to https://www.php.net/manual/en/language.operators.array.php), but rather the elements from the right hand array are appended to the left hand (ie original) array where they have a different key. Therefore if the argument $types passed into the function above has the value "['site', 'view']", the resulting $types array will be "['site', 'view']". This is not what is required.

The function should use an array_merge as follows:

  public function getAvailableGlobalTokens($prepared = FALSE, array $types = []) {
    $types = array_unique(array_merge($types, ['date']));
    return parent::getAvailableGlobalTokens($prepared, $types);
  }

There may well be other instances of incorrect use of the array union operator in the module.