PHP function - datefmt_get_locale