Some PHP doc would be nice