locale_set_default  277 intl/doc/locale_api.php function locale_set_default($locale) {}
locale_set_default   97 intl/php_intl.c #undef locale_set_default