MINOR: PHP docs