See if intl is activated in PHP