Some examples in php doc