[Phpwiki-talk] Fatal error: lib/WikiUserNew.php on line 1842

[joel s. <fox...@gm...>]

I'm getting an error page under specific conditions

Wiki phpwiki-1.3.12_rc1
os  gentoo
database   file

After being logged in as admin, then I click the button to "sign out".
Then I see this error on url  /index.php/HomePage

*Fatal error*: Cannot access empty property in *
/var/www/localhost/htdocs/tech/wiki/lib/WikiUserNew.php* on line *1842

*Is this a known bug?

Joel



for context,  line 1842 of WikiUserNew.php is the first uncommented line
shown here
        /*
        if ($name =3D=3D 'theme' and $value =3D=3D '')
           return true;
        */
        if (!isset($pref->{$value}) or $pref->{$value} !=3D
$pref->default_value) {
            if ($name =3D=3D 'emailVerified') $newvalue =3D $value;
            else $newvalue =3D $pref->sanify($value);
            $pref->set($name, $newvalue);