making navigator::lastCaller work in PHP 5.3