[misc] php doc comments