add missing php doc comment