diff --git a/ChangeLog b/ChangeLog index c3051a12a..93c6675f3 100755 --- a/ChangeLog +++ b/ChangeLog @@ -8,6 +8,8 @@ $Source$ 2002-08-01 Robin Johnson * scripts/decode_bug.php3: - Improvements and PHP3 fixes thanks to Loic + * libraries/string.lib.php3: + - Detect U+00A0 as whitespace 2002-08-01 Marc Delisle * lang/afrikaans: new language diff --git a/libraries/string.lib.php3 b/libraries/string.lib.php3 index 9df06d241..e366f1738 100644 --- a/libraries/string.lib.php3 +++ b/libraries/string.lib.php3 @@ -216,9 +216,11 @@ if (!defined('PMA_STR_LIB_INCLUDED')) { $ord_space = 32; //ord(' ') $ord_tab = 9; //ord('\t') $ord_CR = 13; //ord('\n') + $ord_NOBR = 160; //ord('U+00A0); $ord_c = ord($c); - return (($ord_c == $ord_space) + return (($ord_c == $ord_space) + || ($ord_c == $ord_NOBR) || PMA_STR_numberInRangeInclusive($ord_c, $ord_tab, $ord_CR)); } // end of the "PMA_STR_isSpace()" function