THIS. I checked for a new patch today, and still saw the old one. Why can't they do minor patches for crying out loud?btw the domain ordering issue has been fixed. You need to re-download the patch, which now has the fixed class.init.php file.
(I really don't understand why it's so difficult to call this v5.2.5.1 so that people know whether they've got the fixed version or not...)