Reading a player's font name

[Yen]

PHP Code:

  $pref::graal::allowglobalpms - boolean
  $pref::graal::automapping - boolean
  $pref::graal::defaultfontsize - integer
  $pref::graal::dontconnectlevels - boolean
  $pref::graal::dontloadlistheads - boolean
  $pref::graal::dontsavepasswords - boolean
  $pref::graal::dontsavepms - boolean
  $pref::graal::fixedport - boolean
  $pref::graal::fixedudpport - integer
  $pref::graal::language - string
  $pref::graal::limitnicknames - boolean
  $pref::graal::loadbuddylistfromserver - boolean
  $pref::graal::nicknamelimit - integer
  $pref::graal::nomassmessages - boolean
  $pref::graal::notoalls - boolean
  $pref::graal::noudp - boolean
  $pref::graal::showyourselfonbuddylists - boolean 


There used to be a string like this for the player's font name..
Does anyone remember what it is, or if it still exists?