php: bump release