Provision scripts for older PHP versions