Comment 6 for bug 240519

Thanks for the help Ondřej. I didn't mean for that to sound hysterical. I'm just trying my best not to have to find and refactor TONS of code or install php5 from source. I know it wouldn't be that difficult to build from the php official sources, but I don't want to deal w/ the package maintenance dependency problems that would come from having to remove the php5 package.

Thanks a lot for the patch. I'll let you know how it goes.