Lint

Bump mlocati/php-extension-installer from `36d23ed` to `72f6495` #488

	---
	name: Lint
	on: pull_request

	permissions:
	contents: read
	pull-requests: write

	jobs:
	markdown:
	name: markdown
	runs-on: ubuntu-22.04
	steps:
	- uses: actions/checkout@v4
	- name: Run markdownlint
	uses: DavidAnson/markdownlint-cli2-action@v18
	dockerfile:
	name: dockerfile
	runs-on: ubuntu-22.04
	steps:
	- uses: actions/checkout@v4
	- name: Run hadolint
	uses: hadolint/[email protected]
	with:
	trusted-registries: docker.io,ghcr.io
	shell-scripts:
	name: shell scripts
	runs-on: ubuntu-22.04
	steps:
	- uses: actions/checkout@v4
	- name: Run ShellCheck
	uses: luizm/action-sh-checker@master
	yaml:
	name: yaml
	runs-on: ubuntu-22.04
	steps:
	- uses: actions/checkout@v4
	- name: Run Yamllint
	uses: frenck/[email protected]
	php-ext-doc:
	name: php extension documentation
	runs-on: ubuntu-22.04
	steps:
	- uses: actions/checkout@v4
	- name: Checking if enabled PHP extensions are documented in README.md
	run: ./bin/check-doc.sh

Provide feedback