Searched refs:oldlocale (Results 1 – 1 of 1) sorted by relevance
49 char *oldlocale; in PHP_FUNCTION() local77 oldlocale = estrdup(setlocale(LC_NUMERIC, NULL)); in PHP_FUNCTION()104 setlocale(LC_NUMERIC, oldlocale); in PHP_FUNCTION()105 efree(oldlocale); in PHP_FUNCTION()
Completed in 3 milliseconds