Update extensions.txt

This commit is contained in:
Jerry 2022-11-09 14:12:53 +08:00 committed by GitHub
parent 7f860e46f3
commit 50b6f5244d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -28,7 +28,7 @@ pdo_sqlite
phar
posix
^protobuf
readline
^readline
redis
shmop
simplexml