Fix compat. with PHP 5.2. (#1489813)