PHP function - numfmt_get_locale