Fixes: #2674 php error in class_objects.inc with php PHP 5.3.3