Changed type in php doc