Bug #14299: explode() case sensitivity.

From: stephen@opido.com Operating system: Linux PHP version: 4.0.6 PHP Bug Type: Documentation problem Bug description: explode() case sensitivity. I recently added a note to http://www.php.net/explode and was informed that I should probably post it here. Original Note: I'm not sure if this is intentional, but there is no indication whether explode() is case insensitive. I ended up having to convert my strings and keywords to lowercase using strtolower() in order to do this. I'm using 4.0.4, FWIW. I don't care one way or another if this is a bug or a documentation error since I was able to work around it, but I think other people may get confused when it fails to explode because there's no info about case sensitivity. Thanks, Stephen VanDyke stephen@opido.com -- Edit bug report at: http://bugs.php.net/?id=14299&edit=1