Please do not remove php 5.3

People are still using it heavily