the PHP bug number shoud be a link to the PHP issue tracker