On 06/21/2012 04:40 PM, Antonio Marcos López Alonso wrote: > For the record, a fix is committed at: > > https://github.com/gplessis/dotdeb-php5/ By the way, I consider dotdeb harmful. Don't use it! (IMO) Thomas