Document that Houdini for PHP works with 5.2 now.