Fixes #15799: Broken link to phpxref.