Yet more PHP documentation added