Re: [MacPorts] #14635: Patch for php5 portfile