diff --git a/install-php-extensions b/install-php-extensions index f75a9cd..ad1ec52 100755 --- a/install-php-extensions +++ b/install-php-extensions @@ -2509,6 +2509,13 @@ installRemoteModule() { # event must be loaded after sockets installRemoteModule_ini_basename="xx-php-ext-$installRemoteModule_module" ;; + excimer) + if test -z "$installRemoteModule_version"; then + if test $PHP_MAJMIN_VERSION -le 701; then + installRemoteModule_version=1.0.2 + fi + fi + ;; gearman) if test -z "$installRemoteModule_version"; then if test $PHP_MAJMIN_VERSION -le 506; then