[PATCH] parse_ini_string()

Hello, Here's a patch again PHP_5_3 to add a parse_ini_string() function. It just works as parse_ini_file(), except it accepts a string instead of a filename, obviously. We've been using for months a simple PHP function to do that, and while I had to modify it to accept constants (as parse_ini_file() does), I thought it was time to use the core parsers instead of reinventing the wheel. I have the same patch available for 5.2, if anyone is interested. Thank you for all the time and effort you put into PHP ! Olivier