Closed for the holidays

I think I have earned some rest, totally offline.

So I will be away from keyboard until the end of the month, and so, no update will be published in the repository before September (e.g. PHP 5.6.25 or 7.0.10).

Be patient ;)