Merge pull request #7637 from kenjis/docs-with-in-titles #33

	# When a PR is opened or a push is made, check code
	# for duplication with PHP Copy/Paste Detector.
	name: PHPCPD

	on:
	pull_request:
	branches:
	- 'develop'
	- '4.*'
	paths:
	- 'app/**.php'
	- 'public/**.php'
	- 'system/**.php'
	- '.github/workflows/test-phpcpd.yml'

	push:
	branches:
	- 'develop'
	- '4.*'
	paths:
	- 'app/**.php'
	- 'public/**.php'
	- 'system/**.php'
	- '.github/workflows/test-phpcpd.yml'

	concurrency:
	group: ${{ github.workflow }}-${{ github.head_ref \|\| github.run_id }}
	cancel-in-progress: true

	permissions:
	contents: read

	jobs:
	build:
	name: Duplicate Code Detection
	runs-on: ubuntu-22.04
	steps:
	- name: Checkout
	uses: actions/checkout@v3

	- name: Setup PHP
	uses: shivammathur/setup-php@v2
	with:
	php-version: '8.0'
	tools: phpcpd
	extensions: dom, mbstring

	- name: Detect code duplication
	run: phpcpd
	--exclude system/Test
	--exclude system/ThirdParty
	--exclude system/Database/SQLSRV/Builder.php
	--exclude system/Database/SQLSRV/Forge.php
	--exclude system/Database/MySQLi/Builder.php
	--exclude system/Database/OCI8/Builder.php
	--exclude system/Database/Postgre/Builder.php
	-- app/ public/ system/

Provide feedback