diff options
author | Peter Kokot <peterkokot@gmail.com> | 2019-07-13 14:53:07 +0200 |
---|---|---|
committer | Peter Kokot <peterkokot@gmail.com> | 2019-07-13 14:53:07 +0200 |
commit | 7b727607d47a93a24dc26d4ea3d12b58890383d0 (patch) | |
tree | 9bd32fbab5720234e2f97821071717641a34fd55 /EXTENSIONS | |
parent | 68c0c812c8e61564cc20c886e507660c5ae56f89 (diff) | |
parent | f3cf8966be9fcbf25f5efe49640d4af409eb9864 (diff) | |
download | php-git-7b727607d47a93a24dc26d4ea3d12b58890383d0.tar.gz |
Merge branch 'PHP-7.4'
* PHP-7.4:
Remove unused recode extension artefacts
Diffstat (limited to 'EXTENSIONS')
-rw-r--r-- | EXTENSIONS | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/EXTENSIONS b/EXTENSIONS index 8893cda80e..df69db55e6 100644 --- a/EXTENSIONS +++ b/EXTENSIONS @@ -431,11 +431,6 @@ PRIMARY MAINTAINER: Unkown MAINTENANCE: Unknown STATUS: Working ------------------------------------------------------------------------------- -EXTENSION: recode -PRIMARY MAINTAINER: Kristian Köhntopp <kris@koehntopp.de> (2000 - 2000) -MAINTENANCE: Maintained -STATUS: Working -------------------------------------------------------------------------------- EXTENSION: reflection PRIMARY MAINTAINER: Marcus Börger <helly@php.net> (2003 - 2009) Johannes Schlüter <johannes@php.net> (2006 - 2014) |