diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2021-01-14 12:13:34 +0100 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2021-01-14 12:13:34 +0100 |
| commit | b4292284201eacad83b807dc1ac89e87d799badf (patch) | |
| tree | 3f4161c0f6179a95bae6f874156dcdf7b156d4d2 /ext/pcre/php_pcre.c | |
| parent | 422d1665a2a744421b5911cbe8541370509bc4f5 (diff) | |
| download | php-git-b4292284201eacad83b807dc1ac89e87d799badf.tar.gz | |
Remove zend_locale_sprintf_double()
This function is unused, and also not particularly useful now that
PHP no longer prints doubles in a locale-sensitive way unless
someone really goes out of their way to force it.
Diffstat (limited to 'ext/pcre/php_pcre.c')
0 files changed, 0 insertions, 0 deletions