improve global warning for extensions curl extension is not required any more since we have downloader manager now
improve global warning for extensions
curl extension is not required any more since we have downloader manager now

phpbrew/phpbrew,morozov/phpbrew,morozov/phpbrew,phpbrew/phpbrew,phpbrew/phpbrew