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

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

PhilDaiguille merged 2 commits into

php:masterphp/doc-es:masterfrom

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