renaming of some PHP assets