Update generated PHP docs