Simpler/more clear PHP version checks