require php 5.4 without a specific version