CI: use the shared check-en-revision.php from doc-base - #3547

CI: use the shared check-en-revision.php from doc-base#3547

lacatoire wants to merge 2 commits into

php:masterphp/doc-fr:masterfrom

lacatoire:ci/shared-check-en-revisionlacatoire/doc-fr:ci/shared-check-en-revisionCopy head branch name to clipboard