diff options
-rwxr-xr-x | etc/rc.php_ini_setup | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/etc/rc.php_ini_setup b/etc/rc.php_ini_setup index 5270141..f434f1e 100755 --- a/etc/rc.php_ini_setup +++ b/etc/rc.php_ini_setup @@ -29,7 +29,9 @@ PLATFORM=`/bin/cat /etc/platform` MIN_REALMEM_FOR_APC=512 -if [ -d /usr/local/lib/php/20090626 ]; then +if [ -d /usr/local/lib/php/20121212 ]; then + EXTENSIONSDIR="/usr/local/lib/php/20121212/" +elif [ -d /usr/local/lib/php/20090626 ]; then EXTENSIONSDIR="/usr/local/lib/php/20090626/" else EXTENSIONSDIR="/usr/local/lib/php/20060613/" |