php doc and guidelines