Obsoleting PHP4 stuff.