Fix some php doc and cs