[DOC] Information about buggy behaviour with PHP 5.3.3