preg_replace(string, null) is allowed?

From: Date: Wed, 17 Feb 2021 20:28:06 +0000
Subject: preg_replace(string, null) is allowed?
Groups: php.internals 
Request: Send a blank email to internals+get-113199@lists.php.net to get a copy of this message
Hello! I am in doubt if passing null as the second argument to preg_replace() is valid. Actually, it works as expected. https://3v4l.org/0TITS But doc only accepts array|string. I am asking for it because PhpStorm will not accept it. So if it is valid, I will do a PR to PS stubs. Thanks! Atenciosamente, David Rodrigues

« previous php.internals (#113199) next »