From ac66cb6ce0f681fe8e851b917db6176c058be060 Mon Sep 17 00:00:00 2001 From: jrfnl Date: Tue, 13 Oct 2020 22:50:40 +0200 Subject: [PATCH] Doc website: update the phpDocumentor configuration ... after recent fixes in phpDocumentor3. --- .gitignore | 1 + phpdoc.dist.xml => .phpdoc.xml.dist | 11 ++++++++++- 2 files changed, 11 insertions(+), 1 deletion(-) rename phpdoc.dist.xml => .phpdoc.xml.dist (54%) diff --git a/.gitignore b/.gitignore index 8b818eec..634eb3fe 100644 --- a/.gitignore +++ b/.gitignore @@ -4,6 +4,7 @@ vendor/ /composer.lock /.phpcs.xml /phpcs.xml +/.phpdoc.xml /phpdoc.xml /phpunit.xml /.phpunit.result.cache diff --git a/phpdoc.dist.xml b/.phpdoc.xml.dist similarity index 54% rename from phpdoc.dist.xml rename to .phpdoc.xml.dist index f924abe8..9ec6fd20 100644 --- a/phpdoc.dist.xml +++ b/.phpdoc.xml.dist @@ -3,7 +3,7 @@ configVersion="3" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="https://www.phpdoc.org" - xsi:noNamespaceSchemaLocation="https://docs.phpdoc.org/latest/phpdoc.xsd" + xsi:noNamespaceSchemaLocation="https://raw.githubusercontent.com/phpDocumentor/phpDocumentor/master/data/xsd/phpdoc.xsd" > PHPCSUtils @@ -19,6 +19,15 @@ phpcsutils-autoload.php PHPCSUtils + + public + protected + + codeCoverageIgnore + phpcs +