Join GitHub today
Move install to php53 branch if running an unsupported version of PHP #8042
DO NOT DELETE THIS TEXT
If you would like to test this pull request then please run:
Ok, I've tested this:
For the release version, I propose we create a new lightweight tag that way we can re-point the tag if we need to push an update. Otherwise it will be stuck on the hardcoded sha until PHP is updated.
I'm not sure how that will interact with the release tags, which updates to the newest commit I think.