specify the exact version where PHP behavior changed