#!/bin/sh
# wrapper for PHP CLI which sources /etc/zce.rc, thus setting the correct LD_LIBRARY_PATH and also run PHP CLI with the correct php.ini file
. /etc/zce.rc
$ZCE_PREFIX/php/active/bin/php -c $ZCE_PREFIX/php/active/etc/php.ini "$@"
