Update auf PHP 5.2.13

Alle PHP5.2-Installationen auf unseren Webservern wurden zu heute auf die seit Gestern verfügbare Version PHP 5.2.13 aktualisiert.
 
Im Changelog kann man sich über die behobenen Bugs und Neuerungen informieren.
 
Primär wurde die Stabilität von PHP verbessert und einige teilweise schwerwiegende Bugs beseitigt.