diff options
-rwxr-xr-x | etc/rc.php_ini_setup | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/etc/rc.php_ini_setup b/etc/rc.php_ini_setup index e4b0152..1572444 100755 --- a/etc/rc.php_ini_setup +++ b/etc/rc.php_ini_setup @@ -27,7 +27,11 @@ # Set our operating platform PLATFORM=`/bin/cat /etc/platform` -EXTENSIONSDIR="/usr/local/lib/php/20060613/" +if [ -f "/usr/local/lib/php/20090626/xml.so" ]; then + EXTENSIONSDIR="/usr/local/lib/php/20090626/" +else + EXTENSIONSDIR="/usr/local/lib/php/20060613/" +fi # Grab amount of memory that is detected if [ -f /var/log/dmesg.boot ]; then |