Re-sync check-docs.php with the family, and let it run where git does not #1

Closed
kw wants to merge 0 commits from recopy-check-docs into main

Diff Content Not Available