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