diff options
| author | Peter Kokot <peterkokot@gmail.com> | 2018-08-24 20:07:43 +0200 |
|---|---|---|
| committer | Christoph M. Becker <cmbecker69@gmx.de> | 2018-08-25 11:58:17 +0200 |
| commit | fcf4088d3fe27a3c950985afc49af1064c54b024 (patch) | |
| tree | 6a449bfb793ee1236e4cb78016d6325971426cf6 | |
| parent | f15fc8ea1e8310fe875cde5ba446d9a5093db8c6 (diff) | |
| download | php-git-fcf4088d3fe27a3c950985afc49af1064c54b024.tar.gz | |
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.
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | scripts/dev/generate-phpt.phar | bin | 52356 -> 0 bytes |
2 files changed, 0 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index 691968ac6a..cacaf851af 100644 --- 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 Binary files differdeleted file mode 100644 index 3b2137ade6..0000000000 --- a/scripts/dev/generate-phpt.phar +++ /dev/null |