Fixing some of the php docs