PHP_EXT=$(php-config --extension-dir) &&
echo "Add the following to /etc/php.ini: extension=\"$PHP_EXT/xdebug.so\""
