removed unnecessary locale check

If $locale === NULL, the default locale is used. See the php-src: https://github.com/php/php-src/blob/master/ext/intl/formatter/formatter_main.c#L58-L60