PHP_EXT=$(php-config --extension-dir) &&
echo "Don't forget to add the following to your /etc/php.ini:" &&
echo "extension=\"$PHP_EXT/suhosin.so\""
