Corrected dependency on PHP version 5.4