On Nov 9, 2013, at 11:47, Florian Smeets <flo at smeets.im> wrote: > On reading this a second time it became clear to me that he is not > suggesting changing the default PHP to 5.3, it was merely an example > what users can do if they build their own packages. Yep. My mistake!