Update plugin versions, content from repos, add Mobile UI plugin #11

	name: Build docs

	on:
	push:
	branches: [main]
	paths:
	- README.md
	- 'plugins/**'
	- build-docs.php
	- custom.css
	- composer.json
	workflow_dispatch:

	permissions:
	contents: write

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4

	- name: Setup PHP
	uses: shivammathur/setup-php@v2
	with:
	php-version: '8.3'
	tools: composer:v2
	coverage: none

	- name: Install dependencies
	run: composer install --no-interaction --prefer-dist --no-progress

	- name: Generate docs
	run: composer docs:build

	- name: Commit generated docs
	run: \|
	git config user.name "github-actions[bot]"
	git config user.email "github-actions[bot]@users.noreply.github.com"
	git add docs
	if git diff --cached --quiet; then
	echo "No changes to commit"
	else
	git commit -m "chore: regenerate docs [skip ci]"
	git push
	fi

Navigation Menu