Update generated PHP & JSP docs