docs: format & fix php errors #1

	# https://help.github.com/en/categories/automating-your-workflow-with-github-actions

	name: "Check Docs"

	on:
	pull_request:
	push:
	branches:
	- "[0-9]+.[0-9]+.x"
	- "renovate/*"

	jobs:
	checkdocs:
	name: "Check Docs"

	runs-on: ${{ matrix.operating-system }}

	strategy:
	matrix:
	dependencies:
	- "locked"
	php-version:
	- "8.3"
	operating-system:
	- "ubuntu-latest"

	steps:
	- name: "Checkout"
	uses: actions/checkout@v4

	- name: "Install PHP"
	uses: "shivammathur/[email protected]"
	with:
	coverage: "pcov"
	php-version: "${{ matrix.php-version }}"
	ini-values: memory_limit=-1
	extensions: pdo_sqlite

	- uses: ramsey/[email protected]
	with:
	dependency-versions: ${{ matrix.dependencies }}

	- name: "extract php code"
	run: "bin/extract-php-code-from-docs"

	- name: "lint php"
	run: "php -l docs_php/*.php"

Provide feedback