Remove some old parts of the php

Since ba138a3746b3077ebe5b7356b5b49f21cfc30438 the generate-phpt library
has been unbundled from the php-src. This patch cleans two remaining
parts.

diff --git a/.gitignore b/.gitignore
index 691968ac6a378e717cdb1a3db78bcd384f5cd4cd..cacaf851af0272c2e4baf2535e4bc0ea80be7950 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -208,5 +208,4 @@ ext/sqlite3/tests/phpsql*
 # Special cases to invert previous ignore rules
 !ext/fileinfo/libmagic.patch
 !ext/mbstring/oniguruma.patch
-!scripts/dev/generate-phpt/tests/*.php
 !ext/pcre/pcre2lib/config.h

diff --git a/scripts/dev/generate-phpt.phar b/scripts/dev/generate-phpt.phar
deleted file mode 100644 (file)
index 3b2137a..0000000
Binary files a/scripts/dev/generate-phpt.phar and /dev/null differ