#!/usr/bin/env bash# The problem is that we do not want to remove the configuration file, just disable it for a few tasks, then enable it## For reference, see## - https://docs.travis-ci.com/user/languages/php#Disabling-preinstalled-PHP-extensions# - https://docs.travis-ci.com/user/languages/php#Custom-PHP-configurationconfig="/home/travis/.phpenv/versions/$(phpenv version-name)/etc/conf.d/xdebug.ini"function xdebug-disable(){if[[-f$config]];thenmv $config"$config.bak"fi}function xdebug-enable(){if[[-f"$config.bak"]];thenmv "$config.bak"$configfi}