Entschuldigung, was sollte der Rückgabewert von

$redis->ping() in php7.2 sein?

Vor der Verwendung von php5.6 wurde im Handbuch immer dasselbe gesagt

Aber danach Beim Upgrade auf 7.2 stellte ich plötzlich fest, dass es zurückgegeben wurde. Habe eine 1 erhalten, ich weiß nicht warum