Fix #6029 : check the version of intl instead of the version of PHP - revert the whitespaces