すみません、php7.2 の $redis->ping() の戻り値はどうすればよいですか?

php5.6 を使用する前は、常に PONG を返していました。マニュアルにもこのように書かれていました

しかし、7.2 にアップグレードした後、突然 1 が返されることに気付きました。理由はわかりません