com web/rmtools: Fix ini: data/config/pecl/exts.ini
| From: | Anatol Belski | Date: | Thu, 11 Jul 2019 10:57:16 +0000 |
| Subject: | com web/rmtools: Fix ini: data/config/pecl/exts.ini | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-28227@lists.php.net to get a copy of this message | ||
Commit: f838cf9f2e49c936eded2c31dfc83cea1bb9d430
Author: Anatol Belski <ab@php.net> Thu, 11 Jul 2019 12:57:16 +0200
Parents: badfc05984fd2e44be9608b1c24a95b854713ebb
Branches: master
Link: http://git.php.net/?p=web/rmtools.git;a=commitdiff;h=f838cf9f2e49c936eded2c31dfc83cea1bb9d430
Log:
Fix ini
Changed paths:
M data/config/pecl/exts.ini
Diff:
diff --git a/data/config/pecl/exts.ini b/data/config/pecl/exts.ini
index bbb442d..54a0ca5 100644
--- a/data/config/pecl/exts.ini
+++ b/data/config/pecl/exts.ini
@@ -699,5 +699,5 @@ type=enable
[http_message]
type=enable
-exts=psr
+exts[]=psr