Patch for case insensitive ZendEngine1 and convert tool

Since it's very easy to make the patch, I made it. This patch make ZE1 case sensitive except constant. Just for playing with case sensitivity. While you are in php source root. patch -p0 < case_insensitive_zend.diff I also attached Andrei's conversion tool. > I wrote something like this a couple of months ago. The extension > tarball is attached (it has a sample script that converts studlyCaps > function names to normal_ones). Usage: > > php -q tokenizer.php < input.php > output.php > > -Andrei > PS: I didn't test this patch. It's just for playing with case insensitive Zend. Have fun ;) -- Yasuo Ohgaki