Liebe Mitdenker,
liebe Wissende,
liebe Neugierige,

ja!

Es gibt nur den Source, den es gibt. Und der ist ausreichend dokumentiert.

Sag ich doch.
Aber der Patch war nicht ausreichend dikumentiert!

Ab einer neueren PHP-Version wurde der Patch obsolete und wurde entfernt. Der zweite Link sagt was dazu.

https://lists.debian.org/debian-user/2013/08/msg00062.html

Das ist jetzt zwar auch erstmal nur Hörensagen, aber es beruhigt mich. Ich habe ihn ja auch purged.

Spirituelle Grüße
Euer Robert