管道意味着什么是阵列分隔符？

Question

今天我找到了一个代码块，其中一个数组声明如下：

$array = ['user'|'manager'|'admin'];

在代码上下文中，数组用于分别保留名为“User”，“Manager”和“Admin”的某些类的引用。

第一印象我认为这是PHP 7的新数组分隔符或类似的东西。但测试让我感到困惑：

$array = ['user'|'manager'|'admin'];
var_dump($array);

// result:
array:1 [
  0 => "}wo{oer"
]

在其他测试中，我只使用了字母：

$array = ['a'|'b'|'c'];

array:1 [▼
  0 => "c"
]


$array = ['a'|'b'];

array:1 [▼
  0 => "c"
]

我向作者询问他的代码意味着什么，但我从未收到过回复。