Fixed bug #20097 : CLI.php throws error in php 5.2