Update generated PHP tags file