Remove missing documentation scripts

Those have been superceded by php-src's gen_stub script
php · Dec 5, 2023 · 59bc2bb · 59bc2bb
1 parent 71a6e83
commit 59bc2bb
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 268 deletions.
diff --git a/scripts/check-missing-docs.php b/scripts/check-missing-docs.php
diff --git a/scripts/check-missing-spldocs.php b/scripts/check-missing-spldocs.php