123456789101112131415161718192021 |
- --TEST--
- htmlentities() test 3 (setlocale / de_DE.ISO-8859-1)
- --SKIPIF--
- <?php
- $result = (bool)setlocale(LC_CTYPE, "de_DE.ISO-8859-1", "de_DE.ISO8859-1");
- if (!$result || preg_match('/ISO/i', setlocale(LC_CTYPE, 0)) == 0) {
- die("skip setlocale() failed\n");
- }
- ?>
- --INI--
- output_handler=
- default_charset=
- internal_encoding=
- --FILE--
- <?php
- // Locale-based encoding guessing no longer works.
- setlocale( LC_CTYPE, "de_DE.ISO-8859-1", "de_DE.ISO8859-1");
- var_dump(htmlentities("\xe4\xf6\xfc", ENT_QUOTES));
- ?>
- --EXPECT--
- string(0) ""
|