diff options
| -rw-r--r-- | EXTENSIONS | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/EXTENSIONS b/EXTENSIONS index 79dc421be9..ba27483eb9 100644 --- a/EXTENSIONS +++ b/EXTENSIONS @@ -464,6 +464,11 @@ PRIMARY MAINTAINER: Kristian Köhntopp <kris@koehntopp.de> MAINTENANCE: Maintained STATUS: Working ------------------------------------------------------------------------------- +EXTENSION: reflection +PRIMARY MAINTAINER: Marcus Börger <helly@php.net>, Johannes Schlüter <johannes@php.net> +MAINTENANCE: Maintained +STATUS: Working +------------------------------------------------------------------------------- EXTENSION: session PRIMARY MAINTAINER: Sascha Schumann <sascha@schumann.cx>, Ilia Alshanetsky <iliaa@php.net> MAINTENANCE: Maintained |