Bug report
null should be allowed as 3rd parameter for htmlspecialchars.
Code snippet that reproduces the problem
https://phpstan.org/r/76ca84d4-8ae4-4fe2-8d2d-4041b5fe8a78
Expected output
No error.
Did PHPStan help you today? Did it make you happy in any way?
❤️
Bug report
nullshould be allowed as 3rd parameter for htmlspecialchars.Code snippet that reproduces the problem
https://phpstan.org/r/76ca84d4-8ae4-4fe2-8d2d-4041b5fe8a78
Expected output
No error.
Did PHPStan help you today? Did it make you happy in any way?
❤️