update string/strtolower string/strtoupper: use PHP_UPPERCASE_LOWERCASE_DIFFERENCE