default_install &&

if [[ "${VERSION:0:3}" == "5.3" ]]; then
  install_config_file $SOURCE_DIRECTORY/php.ini-production /etc/php.ini
else
  install_config_file $SOURCE_DIRECTORY/php.ini-recommended /etc/php.ini
fi
