PHP agent v4.13.0

September 10, 2014