PHP bug #62460 is already fixed