Add redirect.xml map for manual pages on php.net · php/doc-en@e788ce5

Triggered via pull request July 6, 2026 21:17

jordikroon

opened #5658

Status Success

Total duration 23s

Artifacts 1

integrate.yaml

on: pull_request

Matrix: Build

Produced during runtime

Name	Size	Digest
.manual.xml	4.31 MB	`sha256:2f860700118ccf378194ef8e509897e43587e8e03839bdfae367f58bfbbed39b`