On 11 Jun 2020, at 12:07, Sebastian Bergmann <sebast...@php.net> wrote:
Am 11.06.2020 um 00:13 schrieb Sara Golemon: Token names shouldn't show up. Everyone is agreeing with that statement. Universally. Let's fix that problem rather than create new ones by not addressing the underlying issue. +1 +1 Zeev