Replace the `filename` tag with the `literal` tag for the `.php` file extension #8536

	# https://docs.github.com/en/actions

	name: "Integrate"

	on:
	pull_request: null
	push:
	branches:
	- "master"

	permissions:
	contents: read

	jobs:
	build:
	name: "Build"

	runs-on: "ubuntu-20.04"

	strategy:
	matrix:
	language:
	- "en"

	steps:
	- name: "Checkout php/doc-${{ matrix.language }}"
	uses: "actions/checkout@v4"
	with:
	path: "${{ matrix.language }}"
	repository: "php/doc-${{ matrix.language }}"

	- name: "Checkout php/doc-en as fallback"
	if: "matrix.language != 'en'"
	uses: "actions/checkout@v4"
	with:
	path: "en"
	repository: "php/doc-en"

	- name: "Checkout php/doc-base"
	uses: "actions/checkout@v4"
	with:
	path: "doc-base"
	repository: "php/doc-base"

	- name: "Quality Assurance scripts"
	run: \|
	php8.0 doc-base/scripts/qa/extensions.xml.php --check
	php8.0 doc-base/scripts/qa/section-order.php

	- name: "Build documentation for ${{ matrix.language }}"
	run: "php8.0 doc-base/configure.php --disable-libxml-check --enable-xml-details --redirect-stderr-to-stdout --with-lang=${{ matrix.language }}"

	- name: "Upload .manual.xml"
	uses: actions/upload-artifact@v4
	with:
	name: .manual.xml
	path: doc-base/.manual.xml
	include-hidden-files: true

Provide feedback