Merge pull request #3209 from Yohoed2000/feature/add_event_extension

Add php event extension
This commit is contained in:
Shao Yu-Lung (Allen)
2022-07-18 21:27:06 +08:00
committed by GitHub
5 changed files with 105 additions and 0 deletions

View File

@ -203,6 +203,7 @@ WORKSPACE_INSTALL_SSDB=false
WORKSPACE_INSTALL_TRADER=false
WORKSPACE_PROTOC_VERSION=latest
WORKSPACE_INSTALL_MEMCACHED=true
WORKSPACE_INSTALL_EVENT=false
### PHP_FPM ###############################################
@ -274,6 +275,7 @@ PHP_FPM_ADDITIONAL_LOCALES="en_US.UTF-8 es_ES.UTF-8 fr_FR.UTF-8"
PHP_FPM_INSTALL_DOCKER_CLIENT=false
PHP_FPM_DEFAULT_LOCALE=POSIX
PHP_FPM_XDEBUG_PORT=9003
PHP_FPM_INSTALL_EVENT=false
PHP_FPM_PUID=1000
PHP_FPM_PGID=1000
@ -317,6 +319,7 @@ PHP_WORKER_INSTALL_REDIS=false
PHP_WORKER_INSTALL_IMAP=false
PHP_WORKER_INSTALL_XMLRPC=false
PHP_WORKER_INSTALL_SSDB=false
PHP_WORKER_INSTALL_EVENT=false
PHP_WORKER_PUID=1000
PHP_WORKER_PGID=1000