Add a link to the PHP bug #55154.
Simplify code.