No fan of php either but that bug was in C code.