I personally own the first one you eldue to:
"PHP and MySQL Web Development, Second Edition" and although I don't refer to it as much (mainly because I have built up my snippet library), I still open it up when I get stuck on something.
I also have used "Professional PHP4 Programming", but I checked it out at the library, and since then, the library doesn't have it any more, and I can't find it in my local book store. I imagine if I ever wanted to order a book online, this would be one I would purchase, because I know it's available.
I am waiting for PHP5 to go into production release, and I will be looking into a book for that, so until then, I don't think I will be buying any other books.