com web/rmtools: Add config for runkit7: data/config/pecl/exts.ini
| From: | Christoph Michael Becker | Date: | Mon, 08 Apr 2019 11:13:00 +0000 |
| Subject: | com web/rmtools: Add config for runkit7: data/config/pecl/exts.ini | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-27962@lists.php.net to get a copy of this message | ||
Commit: 0c6604b85ef978cfef60ebe4ac9b3f2037a1e5d2
Author: Christoph M. Becker <cmbecker69@gmx.de> Mon, 8 Apr 2019 13:13:00 +0200
Parents: d1f9fe6d80e9a5e6d264c58c88b95efa31d3fd87
Branches: master
Link: http://git.php.net/?p=web/rmtools.git;a=commitdiff;h=0c6604b85ef978cfef60ebe4ac9b3f2037a1e5d2
Log:
Add config for runkit7
The extension is named runkit7, but for BC reasons is enabled with
--enable-runkit.
Changed paths:
M data/config/pecl/exts.ini
Diff:
diff --git a/data/config/pecl/exts.ini b/data/config/pecl/exts.ini
index cd4c763..5fe1176 100644
--- a/data/config/pecl/exts.ini
+++ b/data/config/pecl/exts.ini
@@ -697,3 +697,7 @@ libs[]=libbase58
[dbase]
type=enable
+
+[runkit7]
+type=enable
+opts[]=--enable-runkit